Sciweavers

Share
CADE
2008
Springer

The Annual SUMO Reasoning Prizes at CASC

9 years 2 months ago
The Annual SUMO Reasoning Prizes at CASC
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.
Adam Pease, Geoff Sutcliffe, Nick Siegel, Steven T
Added 03 Dec 2009
Updated 03 Dec 2009
Type Conference
Year 2008
Where CADE
Authors Adam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac
Comments (0)
books