GPS, a program that simulates human thought
Computers & thought
A Computing Procedure for Quantification Theory
Journal of the ACM (JACM)
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Automatic Theorem Proving With Renamable and Semantic Resolution
Journal of the ACM (JACM)
Mechanical Theorem-Proving by Model Elimination
Journal of the ACM (JACM)
A Simplified Format for the Model Elimination Theorem-Proving Procedure
Journal of the ACM (JACM)
A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness
Journal of the ACM (JACM)
The Unit Proof and the Input Proof in Theorem Proving
Journal of the ACM (JACM)
Two Results on Ordering for Resolution with Merging and Linear Format
Journal of the ACM (JACM)
An Implementation of the Model Elimination Proof Procedure
Journal of the ACM (JACM)
A Human Oriented Logic for Automatic Theorem-Proving
Journal of the ACM (JACM)
Communications of the ACM
A propositional theorem prover to solve planning and other problems
Annals of Mathematics and Artificial Intelligence
Nagging: A Distributed, Adversarial Search-Pruning Technique Applied to First-Order Inference
Journal of Automated Reasoning
Autarky Pruning in Propositional Model Elimination Reduces Failure Redundancy
Journal of Automated Reasoning
Model elimination and connection tableau procedures
Handbook of automated reasoning
Semantics of conceptual graphs
ACL '79 Proceedings of the 17th annual meeting on Association for Computational Linguistics
A Hole in Goal Trees: Some Guidance from Resolution Theory
IEEE Transactions on Computers
Predicting the length of solutions to problems
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
On the mechanization of abductive logic
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
A hole in goal trees: some guidance from resolution theory
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
Towards a unified model of search in theorem-proving: subgoal-reduction strategies
Journal of Symbolic Computation
A taxonomy of theorem-proving strategies
Artificial intelligence today
Hi-index | 0.02 |