Search Results
- of 1
-
The Suggested Upper Merged Ontology (SUMO) - Ontology PortalSuggested Upper Merged Ontology (SUMO) The second annual SUMO Reasoning Prize will take place at The CADE ATP System Competition at CADE 2009. $3000 in prizes will be awarded to the best reasoning performance on a set of SUMO-based tests. Congratulations to 2008 first place winner Krystof Hoder ...
Johs Molland
added
5 months ago