- Assurance class:
- 1st: SInE-LTB 0.4
- 2nd iProver-SInE 0.7
- 3rd Vampire-LTB 11.0
- Proof class:
- 1st: SInE-LTB 0.4
- 2nd Vampire-LTB 11.0
- 3rd leanCoP-SInE 2.1
The SUMO reasoning prize is for the best reasoning performance on a set of SUMO-based tests.
The SUMO inference prizes totalling US$3000.00 was awarded to the best performance on the SMO category of the LTB division of CASC, held as CADE each year. The LTB division has an assurance ranking class and a proof ranking class. In each ranking class the first place winner received $750, the second place $500, and the third place $250 (a system that wins the proof ranking class might also win the assurance ranking class).
Employees of Articulate Sofware, its subcontractors and funded partners are not eligible. All prover outputs will be mirrored on http://www.ontologyportal.org (as well as posted on the CASC site). Submission of open source provers is encouraged, although not strictly required.
2008 Winners:
- 1st (both classes) $1500 - SInE 0.3 - Krystof Hoder
- 2nd (both classes) $1000 - MaLARea 0.3 - Josef Urban
- 3rd (assurance class) $250 - iProver 0.5 - Konstantin Korovin
- 3rd (proof class) $250 - Vampire 10.0 - Andrei Voronkov
| The Suggested
Upper Merged Ontology is a formal theory,
like a dictionary for computers to read, of terms and logical
definitions describing the world.
|