The TPTP World - Infrastructure for automated reasoning

Geoff Sutcliffe

doi:10.1007/978-3-642-17511-4_1

The TPTP World - Infrastructure for automated reasoning

Geoff Sutcliffe

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

29 Scopus citations

Abstract

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.

Original language	English (US)
Title of host publication	Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Revised Selected Papers
Pages	1-12
Number of pages	12
DOIs	https://doi.org/10.1007/978-3-642-17511-4_1
State	Published - Dec 1 2010
Event	16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-16 - Dakar, Senegal Duration: Apr 25 2010 → May 1 2010

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	6355 LNAI
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-16
Country	Senegal
City	Dakar
Period	4/25/10 → 5/1/10

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Access to Document

10.1007/978-3-642-17511-4_1

Fingerprint Dive into the research topics of 'The TPTP World - Infrastructure for automated reasoning'. Together they form a unique fingerprint.

Cite this

Sutcliffe, G. (2010). The TPTP World - Infrastructure for automated reasoning. In Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Revised Selected Papers (pp. 1-12). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6355 LNAI). https://doi.org/10.1007/978-3-642-17511-4_1

The TPTP World - Infrastructure for automated reasoning. / Sutcliffe, Geoff.

Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Revised Selected Papers. 2010. p. 1-12 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6355 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Sutcliffe, G 2010, The TPTP World - Infrastructure for automated reasoning. in Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6355 LNAI, pp. 1-12, 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-16, Dakar, Senegal, 4/25/10. https://doi.org/10.1007/978-3-642-17511-4_1

Sutcliffe G. The TPTP World - Infrastructure for automated reasoning. In Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Revised Selected Papers. 2010. p. 1-12. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-642-17511-4_1

@inproceedings{b359a2ad547946f1893ac7a407c945f4,

title = "The TPTP World - Infrastructure for automated reasoning",

abstract = "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.",

author = "Geoff Sutcliffe",

year = "2010",

month = dec,

day = "1",

doi = "10.1007/978-3-642-17511-4_1",

language = "English (US)",

isbn = "3642175104",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "1--12",

booktitle = "Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Revised Selected Papers",

note = "16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-16 ; Conference date: 25-04-2010 Through 01-05-2010",

}

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 -