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):
de Swart, Harriedblp
BibTeX cite key*:
HustadtSchmidt98a
Title, Booktitle
Title*:
Simplification and backjumping in modal tableau
Booktitle*:
Proceedings of the International Conference on Automated Reaso ning with Analytic Tableaux and Related Methods (TABLEAUX'98)
Event, URLs
Conference URL::
Downloading URL:
Event Address*:
Oisterwijk, The Netherlands
Language:
English
Event Date*
(no longer used):
May, 5-8
Organization:
Event Start Date:
15 May 2024
Event End Date:
15 May 2024
Publisher
Name*:
Springer
URL:
Address*:
Berlin, Germany
Type:
Vol, No, Year, pp.
Series:
Lecture Notes in Artificial Intelligence
Volume:
1397
Number:
Month:
May
Pages:
187-201
Year*:
1998
VG Wort Pages:
ISBN/ISSN:
3-540-64406-7
Sequence Number:
DOI:
Note, Abstract, ©
(LaTeX) Abstract:
This paper is concerned with various schemes for enhancing the
performance of modal tableau procedures. It discusses techniques and
strategies for dealing with the nondeterminism in tableau calculi,
as well as simplification and backjumping. Benchmark results obtained
with randomly generated modal formulae show the effect of combinations
of different schemes.
Keywords:
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, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat



BibTeX Entry:
@INPROCEEDINGS{HustadtSchmidt98a,
AUTHOR = {Hustadt, Ullrich and Schmidt, Renate A.},
 EDITOR = {de Swart, Harrie},
 TITLE = {Simplification and backjumping in modal tableau},
 BOOKTITLE = {Proceedings of the International Conference on Automated Reaso ning with Analytic Tableaux and Related Methods (TABLEAUX'98)},
 PUBLISHER = {Springer},
 YEAR = {1998},
 VOLUME = {1397},
 PAGES = {187--201},
 SERIES = {Lecture Notes in Artificial Intelligence},
 ADDRESS = {Oisterwijk, The Netherlands},
 MONTH = {May},
 ISBN = {3-540-64406-7},
}

Entry last modified by Ullrich Hustadt, 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:10:37 PM
Revision
1.
0.


Editor
Ullrich Hustadt
Ullrich Hustadt


Edit Date
21/04/99 19:20:25
21/04/99 19:10:38