CASC-J3 The 3rd IJCAR ATP System Competition
The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first-order Automated Theorem Proving (ATP) systems – the world championship for such systems. CASC-J3 was held on 18th August 2006, as part of the 3rd International Joint Conference on Automated Reasoning, in Seattle, Washington. It was the eleventh competition in the CASC series.
KeywordsAutomate Reasoning Proof Obligation World Championship Common Sense Knowledge Automate Theorem Prove System
- [RPG05]Ramachandran, D., Reagan, P., Goolsbey, K.: First-orderized ResearchCyc: Expressiveness and Efficiency in a Common Sense Knowledge Base. In: Shvaiko, P. (ed.) Proceedings of the Workshop on Contexts and Ontologies: Theory, Practice and Applications (2005)Google Scholar
- [RTRL]Ranise, S., Tinelli, C.: The Satisfiability Modulo Theories Library (SMT-LIB), http://goedel.cs.uiowa.edu/smtlib/