A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Inference with path resolution and semantic graphs
Journal of the ACM (JACM)
DC parallelism of connection graph
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
Learning Dominance Relations in Combined Search Problems
IEEE Transactions on Software Engineering
Some Inference Rules for Integer Arithmetic for Verification of Flowchart Programs on Integers
IEEE Transactions on Software Engineering
Formal Verification of Fault Tolerance Using Theorem-Proving Techniques
IEEE Transactions on Computers
Note on theorem proving strategies for resolution counterparts of non-classical logics
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
IEEE Transactions on Software Engineering
Journal of the ACM (JACM)
Communications of the ACM
Automatic Theorem Proving With Renamable and Semantic Resolution
Journal of the ACM (JACM)
The Concept of Demodulation in Theorem Proving
Journal of the ACM (JACM)
Mechanical Theorem-Proving by Model Elimination
Journal of the ACM (JACM)
Journal of the ACM (JACM)
A Correction Concerning Resolution
Journal of the ACM (JACM)
A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness
Journal of the ACM (JACM)
Interpolation Theorems for Resolution in Lower Predicate Calculus
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)
Automatic Theorem Proving with Built-in Theories Including Equality, Partial Ordering, and Sets
Journal of the ACM (JACM)
An Approach for Finding C-Linear Complete Inference Systems
Journal of the ACM (JACM)
Z-Resolution: Theorem-Proving with Compiled Axioms
Journal of the ACM (JACM)
An Implementation of the Model Elimination Proof Procedure
Journal of the ACM (JACM)
Some Binary Derivation Systems
Journal of the ACM (JACM)
A New Class of Automated Theorem-Proving Algorithms
Journal of the ACM (JACM)
Unit Refutations and Horn Sets
Journal of the ACM (JACM)
A Human Oriented Logic for Automatic Theorem-Proving
Journal of the ACM (JACM)
Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
Journal of the ACM (JACM)
A Proof Procedure Using Connection Graphs
Journal of the ACM (JACM)
An Assessment of Techniques for Proving Program Correctness
ACM Computing Surveys (CSUR)
State-space problem-reduction, and theorem proving—some relationships
Communications of the ACM
A theorem-proving language for experimentation
Communications of the ACM
Experiment with an automatic theorem-prover having partial ordering inference rules
Communications of the ACM
The Use of Lemmas in the Model Elimination Procedure
Journal of Automated Reasoning
Otter - The CADE-13 Competition Incarnations
Journal of Automated Reasoning
Journal of Automated Reasoning
Ordered Semantic Hyper-Linking
Journal of Automated Reasoning
Journal of Automated Reasoning
KJ3: a tool assisting formal validation of knowledge-based systems
International Journal of Human-Computer Studies
Mapping the Envelope of Social Simulation Trajectories
MABS '00 Proceedings of the Second International Workshop on Multi-Agent-Based Simulation-Revised and Additional Papers
An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Semantic Selection for Resolution in Clause Graphs
AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Towards Semantic Goal-Directed Forward Reasoning in Resolution
AIMSA '02 Proceedings of the 10th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
Deriving Focused Calculi for Transitive Relations
RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization
ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
Algorithms for Guiding Clausal Temporal Resolution
KI '02 Proceedings of the 25th Annual German Conference on AI: Advances in Artificial Intelligence
Replacement Rules with Definition Detection
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
Combining superposition, sorts and splitting
Handbook of automated reasoning
Automation for interactive proof: first prototype
Information and Computation - Special issue: Combining logical systems
Filter-based resolution principle for lattice-valued propositional logic LP(X)
Information Sciences: an International Journal
A Resolution-Based Proof Procedure Using Deletion-Directed Search
IEEE Transactions on Computers
Resolution, Refinements, and Search Strategies: A Comparative Study
IEEE Transactions on Computers
A Problem-Oriented Search Procedure for Theorem Proving
IEEE Transactions on Computers
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
R2: a natural language question-answering system
AFIPS '71 (Spring) Proceedings of the May 18-20, 1971, spring joint computer conference
New directions in legal information processing
AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
Checking the quality of clinical guidelines using automated reasoning tools
Theory and Practice of Logic Programming
How can we prove that a proof search method is not an instance of another?
Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
Automated reasoning: real uses and potential uses
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
Path resolution with link deletion
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
Application of theorem proving to problem solving
IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
Completeness theorems for semantic resolution in consequence-finding
IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
E-resolution: extension of resolution to include the equality relation
IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
Deletion-directed search in resolution-based proof procedures
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
Resolution plans in theorem proving
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
Extending semantic resolution via automated model building: applications
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Finding resolution proofs and using duplicate goals in and/or trees
Information Sciences: an International Journal
Experimental tests of resolution-based theorem-proving strategies
Information Sciences: an International Journal
Theorem proving with variable-constrained resolution
Information Sciences: an International Journal
A taxonomy of theorem-proving strategies
Artificial intelligence today
Path-focused duplication: a search procedure for general matings
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Embedding deduction modulo into a prover
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
Inference systems for logical algorithms
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
Semantic guidance for saturation provers
AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
Paper: The representation of medical reasoning models in resolution-based theorem provers
Artificial Intelligence in Medicine
Resolution vs. cutting plane solution of inference problems: Some computational experience
Operations Research Letters
Case Splitting in an Automatic Theorem Prover for Real-Valued Special Functions
Journal of Automated Reasoning
Machine learning approach to enhance the design of automated theorem provers
ICONIP'12 Proceedings of the 19th international conference on Neural Information Processing - Volume Part II
The strategy challenge in SMT solving
Automated Reasoning and Mathematics
Hi-index | 0.09 |