The TPTP World - Infrastructure for automated reasoning

Research output: Chapter in Book/Report/Conference proceedingConference 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 languageEnglish (US)
Title of host publicationLogic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Revised Selected Papers
Pages1-12
Number of pages12
DOIs
StatePublished - Dec 1 2010
Event16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-16 - Dakar, Senegal
Duration: Apr 25 2010May 1 2010

Publication series

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

Other

Other16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-16
CountrySenegal
CityDakar
Period4/25/105/1/10

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

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