Evaluating general purpose automated theorem proving systems
Artificial Intelligence
Journal of Automated Reasoning
The CADE-16 ATP System Competition
Journal of Automated Reasoning
A Method for Building Models Automatically. Experiments with an Extension of OTTER
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
A relevance restriction strategy for automated deduction
Artificial Intelligence
Octopus: Combining Learning and Parallel Search
Journal of Automated Reasoning
AI Communications
The CADE-20 automated theorem proving competition
AI Communications
MPTP 0.2: Design, Implementation, and Initial Experiments
Journal of Automated Reasoning
The design and implementation of VAMPIRE
AI Communications - CASC
Strong and weak points of the MUSCADET theorem prover - examples from CASC-JC
AI Communications - CASC
Using the TPTP language for writing derivations and finite interpretations
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
The mathserve system for semantic web reasoning services
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Geometric resolution: a proof procedure based on finite model search
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
The CADE-21 automated theorem proving system competition
AI Communications
SRASS - A Semantic Relevance Axiom Selection System
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
The 4th IJCAR Automated Theorem Proving System Competition - CASC-J4
AI Communications
| Hi-index | 0.00 |
The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving systems. CASC-J3 was the eleventh competition in the CASC series. Twenty ATP systems and system variants competed in the various competition and demonstration divisions. An outline of the competition design, and a commentated summary of the results, are presented.