Simplification and Backjumping in Modal Tableau

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.

• Type: Conference
• Year: 1998
• Where: TABLEAUX
• Authors: Ullrich Hustadt, Renate A. Schmidt
• Keywords: Artificial Intelligence, Modal Tableau Procedures, Tableau Calculi, TABLEAUX 1998, Various Schemes