7 search results - page 1 / 2 » The IJCAR ATP System Competition |
JAR
2002
15 years 2 days ago
2002
The results of the IJCAR ATP System Competition are presented.
90
Voted
CADE
2003
Springer
16 years 21 days ago
2003
Springer
84
Voted
CADE
2004
Springer
16 years 21 days 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...
91
Voted
TABLEAUX
2000
Springer
15 years 4 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...
152
Voted
LPAR
2012
Springer
13 years 8 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...