Integration of the TPTPWorld into SigmaKEE

Steven Trac, Geoff Sutcliffe, Adam Pease

Research output: Contribution to journalConference articlepeer-review

8 Scopus citations


This paper describes the integration of the ATP support of the TPTPWorld into the Sigma Knowledge Engineering Environment. The result is an interactive knowledge based reasoning environment, with strong knowledge management features, and access to modern state of the art ATP systems for reasoning over knowledge bases.

Original languageEnglish (US)
Pages (from-to)103-114
Number of pages12
JournalCEUR Workshop Proceedings
StatePublished - Dec 1 2008
Event1st International Workshop on Practical Aspects of Automated Reasoning, PAAR 2008, Held Jointly with the Workshop on Evaluation of Systems for Higher Order Logic, ESHOL 2008 - Sydney, NSW, Australia
Duration: Aug 10 2008Aug 11 2008

ASJC Scopus subject areas

  • Computer Science(all)


Dive into the research topics of 'Integration of the TPTPWorld into SigmaKEE'. Together they form a unique fingerprint.

Cite this