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):
BibTeX cite key*:
HustadtSchmidt99b
Title, Booktitle
Title*:
On the relation of resolution and tableaux proof systems for description logics
Booktitle*:
Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI-99)
Event, URLs
Conference URL::
Downloading URL:
Event Address*:
Stockholm, Sweden
Language:
English
Event Date*
(no longer used):
July, 31 - August, 6
Organization:
International Joint Conference on Artificial Intelligence, Inc., The Scandanavian AI Societies
Event Start Date:
13 May 2024
Event End Date:
13 May 2024
Publisher
Name*:
Morgan Kaufmann
URL:
Address*:
San Francisco, USA
Type:
Vol, No, Year, pp.
Series:
Volume:
1
Number:
Month:
Pages:
110-115
Year*:
1999
VG Wort Pages:
ISBN/ISSN:
1-55860-613-0
Sequence Number:
DOI:
Note, Abstract, ©
(LaTeX) Abstract:
This paper investigates the relationship between resolution and
tableaux proof system for the satisfiability of general
knowledge bases in the description logic $\mathcal{ALC}$. We show
that resolution proof systems can polynomially simulate their
tableaux counterpart. Our resolution proof system is based
on a selection refinement and utilises standard redundancy elimination
criteria to ensure termination.
Keywords:
theorem proving
HyperLinks / References / URLs:
http://www.cs.man.ac.uk/~schmidt/publications/HustadtSchmidt99b.html
Download
Access Level:

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



BibTeX Entry:
@INPROCEEDINGS{HustadtSchmidt99b,
AUTHOR = {Hustadt, Ullrich and Schmidt, Renate A.},
 TITLE = {On the relation of resolution and tableaux proof systems for description logics},
 BOOKTITLE = {Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI-99)},
 PUBLISHER = {Morgan Kaufmann},
 YEAR = {1999},
 ORGANIZATION = {International Joint Conference on Artificial Intelligence, Inc., The Scandanavian AI Societies},
 VOLUME = {1},
 PAGES = {110--115},
 ADDRESS = {Stockholm, Sweden},
 ISBN = {1-55860-613-0},
}

Entry last modified by Manfred Jaeger, 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/21/1999 07:48:48 PM
Revisions
4.
3.
2.
1.
0.		Editor(s)
Manfred Jaeger
Uwe Brahm
Uwe Brahm
Renate A. Schmidt
Renate A. Schmidt		Edit Dates
31/08/2001 18:18:22
03/29/2001 09:12:38 PM
28.03.2000 10:38:05
21/03/2000 19:16:39
21/04/99 19:48:48