Integration of the TPTPWorld into SigmaKEE

Steven Trac, Geoff Sutcliffe, Adam Pease

Research output: Contribution to journalConference article

Abstract

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
Volume373
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)

Cite this