The annual SUMO reasoning prizes at CASC

Adam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac

Research output: Contribution to journalConference article

3 Scopus citations

Abstract

Previous CASC competitions have focused on proving difficult problems on small numbers of axioms. However, typical reasoning applications for expert systems rely on knowledge bases that have large numbers of axioms of which only a small number may be relevant to any given query. We have created a category in the new LTB division of CASC to test this sort of situation. We present an analysis of performance of last year's entrants in CASC to show how they perform before any opportunity for tuning them to this new competition.

Original languageEnglish (US)
Pages (from-to)66-70
Number of pages5
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)

Fingerprint Dive into the research topics of 'The annual SUMO reasoning prizes at CASC'. Together they form a unique fingerprint.

  • Cite this

    Pease, A., Sutcliffe, G., Siegel, N., & Trac, S. (2008). The annual SUMO reasoning prizes at CASC. CEUR Workshop Proceedings, 373, 66-70.