|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 11 van 24 gevonden artikelen
| Titel: |
Large theory reasoning with SUMO at CASC |
| Auteur: |
Pease, Adam Sutcliffe, Geoff Siegel, Nick Trac, Steven |
| Verschenen in: |
AI communications |
| Paginering: | Jaargang 23 (2010) nr. 2-3 pagina's 137-144 |
| Jaar: |
2010-03-04 |
| Inhoud: |
The Suggested Upper Merged Ontology (SUMO) has provided the TPTP problem library with problems that have large numbers of axioms, of which typically only a few are needed to prove any given conjecture. The LTB division of the CADE ATP System Competition tests the performance of ATP systems on these types of problems. The SUMO problems were used in the SMO category of the LTB division in 2008. This paper presents an analysis of the performance of the 2007 and 2008 CASC entrants on the SUMO problems, illustrating the improvements that can be achieved by various tuning techniques. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 11 van 24 gevonden artikelen
| << vorige | volgende >> |