2 search results - page 1 / 1 » Large theory reasoning with SUMO at CASC |
AICOM
2010
13 years 7 months ago
2010
CADE
2008
Springer
14 years 8 months ago
2008
Springer
Previous CASC competitions have focused on proving difficult problems on small numbers of axioms. However, typical reasoning applications for expert systems rely on knowledge base...