Simplification and backjumping in modal tableau

Hustadt, Ullrich; Schmidt, Renate A.

Local TagsRelease HistoryDetailsSummary

Simplification and backjumping in modal tableau

Hustadt, U., & Schmidt, R. A. (1998). Simplification and backjumping in modal tableau. In H. de Swart (Ed.), Proceedings of the International Conference on Automated Reaso ning with Analytic Tableaux and Related Methods (TABLEAUX'98) (pp. 187-201). Berlin, Germany: Springer.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3886-C Version Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3888-8

Genre: Conference Paper

Files

show Files

Locators

show

Creators

show

hide

Creators:
Hustadt, Ullrich¹, Author
Schmidt, Renate A.¹, Author

Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045

Content

show

hide

Free keywords: -

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.

Details

show

hide

Language(s): eng - English

Dates: Modified: 2010-03-12Date issued: 1998

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 519731
Other: Local-ID: C1256104005ECAFC-3CC1D3F7D901B53CC125675A005E5B65-HustadtSchmidt98a

Degree: -

Event

show

hide

Title: Untitled Event

Place of Event: Oisterwijk, The Netherlands

Start-/End Date: 1998

Legal Case

show

Project information

show

Source 1

show

hide

Title: Proceedings of the International Conference on Automated Reaso ning with Analytic Tableaux and Related Methods (TABLEAUX'98)

Source Genre: Proceedings

Creator(s):
de Swart, Harrie, Editor

Affiliations:
-

Publ. Info: Berlin, Germany : Springer

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 187 - 201 Identifier: ISBN: 3-540-64406-7

Source 2

show

hide

Title: Lecture Notes in Artificial Intelligence

Source Genre: Series

Creator(s):

Affiliations:

Publ. Info: -

Pages: - Volume / Issue: 1397 Sequence Number: - Start / End Page: - Identifier: -