A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Mechanical Theorem-Proving by Model Elimination
Journal of the ACM (JACM)
A view of the origins and development of Prolog
Communications of the ACM
STORK and PENGUIN: logic programming systems using general clauses and defaults
IBM Journal of Research and Development
A Unifying View of Some Linear Herbrand Procedures
Journal of the ACM (JACM)
An Implementation of the Model Elimination Proof Procedure
Journal of the ACM (JACM)
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Theorem Proving by Covering Expressions
Journal of the ACM (JACM)
Communications of the ACM
Parallel cooperative propositional theorem proving
Annals of Mathematics and Artificial Intelligence
A propositional theorem prover to solve planning and other problems
Annals of Mathematics and Artificial Intelligence
Lemma and cut strategies for propositional model elimination
Annals of Mathematics and Artificial Intelligence
The Use of Lemmas in the Model Elimination Procedure
Journal of Automated Reasoning
Ordered Semantic Hyper-Linking
Journal of Automated Reasoning
Autarky Pruning in Propositional Model Elimination Reduces Failure Redundancy
Journal of Automated Reasoning
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
R-UNSEARCHMO: A Refinement on UNSEARCHMO
PRICAI '02 Proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Conditional Pure Literal Graphs
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
Model elimination and connection tableau procedures
Handbook of automated reasoning
Persistent and Quasi-Persistent Lemmas in Propositional Model Elimination
Annals of Mathematics and Artificial Intelligence
Code improvements for model elimination based reasoning systems
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
Control structure of a pattern-directed search system
ACM SIGART Bulletin
A Hole in Goal Trees: Some Guidance from Resolution Theory
IEEE Transactions on Computers
A Problem-Oriented Search Procedure for Theorem Proving
IEEE Transactions on Computers
Another look at graph coloring via propositional satisfiability
Discrete Applied Mathematics
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
The use of a semantic network in a deductive question-answering system
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
A hole in goal trees: some guidance from resolution theory
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
A model elimination calculus for generalized clauses
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
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
Artificial Intelligence
| Hi-index | 0.04 |