Testing Provers on a Grid - Framework Description

Carlos Areces 1 Daniel Gorin Alejandra Lorenzo Mariano Perez Rodriguez
1 TALARIS - Natural Language Processing: representation, inference and semantics
Inria Nancy - Grand Est, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a computer grid. It automatically generates a report as a PostScript file which, among others, includes graphs for time comparison. We have found GridTest extremely useful for testing and comparing the performance of different automated theorem provers (for hybrid, modal, first order and description logics). We present GridTest in this framework description in the hope that it might be useful for the general community working in automated deduction.
Type de document :
Communication dans un congrès
Cuenca Grau, B. and Horrocks, I. and Motik, B. and Sattler, U. Proceedings of the 22nd International Workshop on Description Logics - DL 2009, Jul 2009, Oxford, United Kingdom. CEUR-WS.org, 477, 2009
Liste complète des métadonnées

https://hal.inria.fr/inria-00423068
Contributeur : Areces Carlos <>
Soumis le : vendredi 9 octobre 2009 - 13:02:35
Dernière modification le : jeudi 11 janvier 2018 - 06:21:35

Identifiants

  • HAL Id : inria-00423068, version 1

Collections

Citation

Carlos Areces, Daniel Gorin, Alejandra Lorenzo, Mariano Perez Rodriguez. Testing Provers on a Grid - Framework Description. Cuenca Grau, B. and Horrocks, I. and Motik, B. and Sattler, U. Proceedings of the 22nd International Workshop on Description Logics - DL 2009, Jul 2009, Oxford, United Kingdom. CEUR-WS.org, 477, 2009. 〈inria-00423068〉

Partager

Métriques

Consultations de la notice

288