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