CADE
2008
Springer
14 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...