Using the TPTP language for writing derivations and finite interpretations

Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Allen Van Gelder

Research output: Chapter in Book/Report/Conference proceedingConference contribution

29 Scopus citations

Abstract

One of the keys to the success of the TPTP and related projects is their consistent use of the TPTP language. The ability of the TPTP language to express solutions as well as problems, in conjunction with the simplicity of the syntax, sets it apart from other languages used in ATP. This paper provides a complete definition of the TPTP language, and describes how the language should be used to write derivations and finite interpretations.

Original languageEnglish (US)
Title of host publicationAutomated Reasoning - Third International Joint Conference, IJCAR 2006, Proceedings
PublisherSpringer Verlag
Pages67-81
Number of pages15
ISBN (Print)3540371877, 9783540371878
DOIs
StatePublished - 2006
EventThird International Joint Conference on Automated Reasoning, IJCAR 2006 - Seattle, WA, United States
Duration: Aug 17 2006Aug 20 2006

Publication series

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

Other

OtherThird International Joint Conference on Automated Reasoning, IJCAR 2006
CountryUnited States
CitySeattle, WA
Period8/17/068/20/06

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Using the TPTP language for writing derivations and finite interpretations'. Together they form a unique fingerprint.

  • Cite this

    Sutcliffe, G., Schulz, S., Claessen, K., & Van Gelder, A. (2006). Using the TPTP language for writing derivations and finite interpretations. In Automated Reasoning - Third International Joint Conference, IJCAR 2006, Proceedings (pp. 67-81). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4130 LNAI). Springer Verlag. https://doi.org/10.1007/11814771_7