7 search results - page 1 / 2 » The CADE-19 ATP System Competition |
CADE
2003
Springer
14 years 7 months ago
2003
Springer
JAR
2002
13 years 7 months ago
2002
The results of the IJCAR ATP System Competition are presented.
TABLEAUX
2000
Springer
13 years 11 months ago
2000
Springer
The aim of the TABLEAUX-2000 Non-Classical (Modal) System Comparisons (TANCS-2000) is to provide a set of benchmarks and a standardized methodology for the assessment and compariso...
CADE
2004
Springer
14 years 7 months ago
2004
Springer
The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first-order Automated Theorem Proving systems. CASC-18 was the seventh competition in the CASC se...
LPAR
2012
Springer
12 years 3 months ago
2012
Springer
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...