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