TY - GEN
T1 - The TPTP World - Infrastructure for automated reasoning
AU - Sutcliffe, Geoff
PY - 2010/12/1
Y1 - 2010/12/1
N2 - The TPTP World is a well known and established infrastructure that supports research, development, and deployment of Automated Theorem Proving (ATP) systems for classical logics. The data, standards, and services provided by the TPTP World have made it increasingly easy to build, test, and apply ATP technology. This paper reviews the core features of the TPTP World, describes key service components of the TPTP World, presents some successful applications, and gives an overview of the most recent developments.
AB - The TPTP World is a well known and established infrastructure that supports research, development, and deployment of Automated Theorem Proving (ATP) systems for classical logics. The data, standards, and services provided by the TPTP World have made it increasingly easy to build, test, and apply ATP technology. This paper reviews the core features of the TPTP World, describes key service components of the TPTP World, presents some successful applications, and gives an overview of the most recent developments.
UR - http://www.scopus.com/inward/record.url?scp=78650810189&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=78650810189&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-17511-4_1
DO - 10.1007/978-3-642-17511-4_1
M3 - Conference contribution
AN - SCOPUS:78650810189
SN - 3642175104
SN - 9783642175107
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 1
EP - 12
BT - Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Revised Selected Papers
T2 - 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-16
Y2 - 25 April 2010 through 1 May 2010
ER -