Journal Article
@Article
Artikel in Fachzeitschrift


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








Author, Editor(s)

Author(s):

Hustadt, Ullrich
Schmidt, Renate A.

dblp
dblp



BibTeX cite key*:

HustadtSchmidt99e

Title

Title*:

An Empirical Analysis of Modal Theorem Provers

Journal

Journal Title*:

Journal of Applied Non-Classical Logics

Journal's URL:


Download URL
for the article:


Language:

English

Publisher

Publisher's
Name:

Hermes

Publisher's URL:


Publisher's
Address:

Paris, France

ISSN:


Vol, No, pp, Date

Volume*:

9

Number:

4

Publishing Date:

1999

Pages*:

479-522

Number of
VG Pages:


Page Start:


Page End:


Sequence Number:


DOI:


Note, Abstract, ©

Note:


(LaTeX) Abstract:

This paper reports on an empirical performance analysis of
four modal theorem provers on benchmark suites of randomly generated
formulae.
The theorem provers tested are the Davis-Putnam-based procedure
KSAT, the tableaux-based system KRIS, the sequent-based Logics
Workbench, and a translation approach combined with the first-order
theorem prover SPASS.

Our benchmark suites are sets of multi-modal
formulae in a certain normal form randomly
generated according to the scheme of Giunchiglia and
Sebastiani~[CADE96,KR96].
We investigate the quality of the random modal formulae and show
that the scheme has some shortcomings, which may lead to mistaken
conclusions.
We propose improvements to the evaluation method and show that the
translation approach provides a viable alternative to the other
approaches.

URL for the Abstract:


Categories,
Keywords:

Theorem Proving

HyperLinks / References / URLs:

http://www.cs.man.ac.uk/~schmidt/publications/HustadtSchmidt99e.html

Copyright Message:


Personal Comments:


Download
Access Level:


Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Audience:

experts only

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat


BibTeX Entry:

@ARTICLE{HustadtSchmidt99e,
AUTHOR = {Hustadt, Ullrich and Schmidt, Renate A.},
TITLE = {An Empirical Analysis of Modal Theorem Provers},
JOURNAL = {Journal of Applied Non-Classical Logics},
PUBLISHER = {Hermes},
YEAR = {1999},
NUMBER = {4},
VOLUME = {9},
PAGES = {479--522},
ADDRESS = {Paris, France},
}


Entry last modified by Christine Kiesel, 03/12/2010
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Renate A. Schmidt
Created
03/21/2000 07:28:36 PM
Revisions
2.
1.
0.

Editor(s)
Christine Kiesel
Renate A. Schmidt
Renate A. Schmidt

Edit Dates
04.09.2001 11:26:21
21/03/2000 19:30:47
21/03/2000 19:28:36