2 search results - page 1 / 1 » Large theory reasoning with SUMO at CASC |
81
Voted
AICOM
2010
15 years 1 months ago
2010
CADE
2008
Springer
16 years 1 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...