MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Hustadt, Ullrich
Schmidt, Renate A.		dblp
dblp
Editor(s):
Pollack, Martha E.dblp
BibTeX cite key*:
HustadtSchmidt97b
Title, Booktitle
Title*:
On Evaluating Decision Procedures for Modal Logics
Booktitle*:
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-97)
Event, URLs
Conference URL::
Downloading URL:
Event Address*:
Nagoya, Japan
Language:
English
Event Date*
(no longer used):
August, 23-29
Organization:
International Joint Conferences on Artificial Intelligence, Inc. (IJCAII) and Japanese Society for Artificial Intelligence (JSAI)
Event Start Date:
14 May 2024
Event End Date:
14 May 2024
Publisher
Name*:
Morgan Kaufmann
URL:
Address*:
San Francisco, USA
Type:
Vol, No, Year, pp.
Series:
Volume:
Number:
Month:
Pages:
202-207
Year*:
1997
VG Wort Pages:
ISBN/ISSN:
1-55860-480-4
Sequence Number:
DOI:
Note, Abstract, ©
(LaTeX) Abstract:
This paper investigates the evaluation method of decision procedures
for multi-modal logic proposed by Giunchiglia and
Sebastiani as an adaptation
from the evaluation method of Mitchell et al.\ of
decision procedures for propositional logic.
We compare three different theorem proving approaches, namely,
the Davis-Putnam-based procedure K\textsc{sat},
the tableaux-based system $\mathcal{KRIS}
and a translation approach combined with first-order resolution.
Our
results do not support the claims of Giunchiglia and Sebastiani
concerning the computational superiority of K\textsc{sat}
over $\mathcal{KRIS}$,
and an easy-hard-easy pattern for randomly generated modal formulae.
Keywords:
Automated Reasoning, Description Logics, Knowledge Representation, Theorem Proving
Download
Access Level:

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Audience:
experts only
Appearance:
MPII WWW Server, MPG publications list, university publications list, working group publication list, Fachbeirat



BibTeX Entry:
@INPROCEEDINGS{HustadtSchmidt97b,
AUTHOR = {Hustadt, Ullrich and Schmidt, Renate A.},
 EDITOR = {Pollack, Martha E.},
 TITLE = {On Evaluating Decision Procedures for Modal Logics},
 BOOKTITLE = {Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-97)},
 PUBLISHER = {Morgan Kaufmann},
 YEAR = {1997},
 ORGANIZATION = {International Joint Conferences on Artificial Intelligence, Inc. (IJCAII) and Japanese Society for Artificial Intelligence (JSAI)},
 PAGES = {202--207},
 ADDRESS = {Nagoya, Japan},
 ISBN = {1-55860-480-4},
}

Entry last modified by Uwe Brahm, 03/12/2010
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)
Ullrich Hustadt		Created
04/11/1997 04:56:46 PM
Revisions
6.
5.
4.
3.
2.		Editor(s)
Uwe Brahm
Uwe Brahm
Uwe Brahm
Renate A. Schmidt
Renate A. Schmidt		Edit Dates
04/02/98 07:10:04 PM
03/06/98 06:17:24 PM
03/06/98 06:16:27 PM
03/12/97 17:21:20
03/09/97 17:36:19