Complete sets of transformations for general E-unification
Theoretical Computer Science - Second Conference on Rewriting Techniques and Applications, Bordeaux, May 1987
A Prolog technology theorem prover: a new exposition and implementation in Prolog
Theoretical Computer Science - Selected papers on theoretical issues of design and implementation of symbolic computation systems
SETHEO: a high-performance theorem prover
Journal of Automated Reasoning
Clause trees: a tool for understanding and implementing resolution in automated reasoning
Artificial Intelligence
The CADE-13 ATP System Competition
Journal of Automated Reasoning
The Design of the CADE-13 ATP System Competition
Journal of Automated Reasoning
The Procedures of the CADE-13 ATP System Competition
Journal of Automated Reasoning
Journal of Automated Reasoning
DISCOUNT - A Distributed and Learning Equational Prover
Journal of Automated Reasoning
Journal of Automated Reasoning
Otter - The CADE-13 Competition Incarnations
Journal of Automated Reasoning
SETHEO and E-SETHEO - The CADE-13 Systems
Journal of Automated Reasoning
Journal of Automated Reasoning
WALDMEISTER - High-Performance Equational Deduction
Journal of Automated Reasoning
Conclusions about the CADE-13 ATP System Competition
Journal of Automated Reasoning
Journal of Automated Reasoning
Optimized Encodings of Fragments of Type Theory in First Order Logic
TYPES '95 Selected papers from the International Workshop on Types for Proofs and Programs
Subgoal Alternation in Model Elimination
TABLEAUX '97 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
On Gaining Efficiency in Completion-Based Theorem Proving
RTA '96 Proceedings of the 7th International Conference on Rewriting Techniques and Applications
SCOTT: Semantically Constrained Otter System Description
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
A Resolution Theorem Prover for Intuitonistic Logic
CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
Learning Domain Knowledge to Improve Theorem Proving
CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
Soft Typing for Ordered Resolution
CADE-14 Proceedings of the 14th International Conference on Automated Deduction
Integration of Automated and Interactive Theorem Proving in ILP
CADE-14 Proceedings of the 14th International Conference on Automated Deduction
Lemma Matching for a PTTP-based Top-down Theorem Prover
CADE-14 Proceedings of the 14th International Conference on Automated Deduction
Dedan: A Kernel of Data Structures and Algorithms for Automated Deduction with Equality Clauses
CADE-14 Proceedings of the 14th International Conference on Automated Deduction
Evaluating general purpose automated theorem proving systems
Artificial Intelligence
Deep Blue's contribution to AI
Annals of Mathematics and Artificial Intelligence
The CADE-15 ATP System Competition
Journal of Automated Reasoning
The CADE-16 ATP System Competition
Journal of Automated Reasoning
Logical Cryptanalysis as a SAT Problem
Journal of Automated Reasoning
The CADE-17 ATP System Competition
Journal of Automated Reasoning
The IJCAR ATP System Competition
Journal of Automated Reasoning
Lemma Generalization and Non-unit Lemma Matching for Model Elimination
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
Design and Results of the Tableaux-99 Non-classical (Modal) Systems Comparison
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
AI Communications
AI Communications - CASC
A survey of automated deduction
Artificial intelligence today
Hi-index | 0.00 |
This paper documents the design, competing systems, results, andconclusions of the CADE-14 ATP System Competition (CASC-14).