Integration of the TPTPWorld into SigmaKEE

Steven Trac, Geoffrey Sutcliffe, Adam Pease

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

8 Citations (Scopus)

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)
Title of host publicationCEUR Workshop Proceedings
Pages103-114
Number of pages12
Volume373
StatePublished - 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

Other

Other1st 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
CountryAustralia
CitySydney, NSW
Period8/10/088/11/08

Fingerprint

Adenosinetriphosphate
Knowledge engineering
Knowledge management

ASJC Scopus subject areas

  • Computer Science(all)

Cite this

Trac, S., Sutcliffe, G., & Pease, A. (2008). Integration of the TPTPWorld into SigmaKEE. In CEUR Workshop Proceedings (Vol. 373, pp. 103-114)

Integration of the TPTPWorld into SigmaKEE. / Trac, Steven; Sutcliffe, Geoffrey; Pease, Adam.

CEUR Workshop Proceedings. Vol. 373 2008. p. 103-114.

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

Trac, S, Sutcliffe, G & Pease, A 2008, Integration of the TPTPWorld into SigmaKEE. in CEUR Workshop Proceedings. vol. 373, pp. 103-114, 1st 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, 8/10/08.
Trac S, Sutcliffe G, Pease A. Integration of the TPTPWorld into SigmaKEE. In CEUR Workshop Proceedings. Vol. 373. 2008. p. 103-114
Trac, Steven ; Sutcliffe, Geoffrey ; Pease, Adam. / Integration of the TPTPWorld into SigmaKEE. CEUR Workshop Proceedings. Vol. 373 2008. pp. 103-114
@inproceedings{c0b2f0e4f840428d8369d74ba7daecc1,
title = "Integration of the TPTPWorld into SigmaKEE",
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.",
author = "Steven Trac and Geoffrey Sutcliffe and Adam Pease",
year = "2008",
language = "English (US)",
volume = "373",
pages = "103--114",
booktitle = "CEUR Workshop Proceedings",

}

TY - GEN

T1 - Integration of the TPTPWorld into SigmaKEE

AU - Trac, Steven

AU - Sutcliffe, Geoffrey

AU - Pease, Adam

PY - 2008

Y1 - 2008

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84885236022&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84885236022&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:84885236022

VL - 373

SP - 103

EP - 114

BT - CEUR Workshop Proceedings

ER -