A Parallel Resolution Procedure Based on Connection Graph
暂无分享,去创建一个
[1] Larry Wos,et al. Problems and Experiments for and with Automated Theorem-Proving Programs , 1976, IEEE Transactions on Computers.
[2] Ewing L. Lusk,et al. Data Structures and Control Architectures for Implementation of Theorem-Proving Programs , 1980, CADE.
[3] Salvatore J. Stolfo,et al. DADO: A Parallel Processor for Expert Systems , 1984 .
[4] Rikio Onai,et al. Architectures and Hardware Systems: Parallel Inference Machine and Knowledge Base Machine , 1984, FGCS.
[5] J. A. Robinson,et al. A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.