In de Swart, H. (ed),
Automated Reasoning with Analytic Tableaux and Related Methods,
International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, Proceedings.
Lecture Notes in Computer Science 1397, Springer, 187-201.
PostScript (Copyright ©
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.
Renate A. Schmidt
FM Group |
Last modified: 27 Apr 2001
Copyright © 1996,7,8
Renate A. Schmidt,
School of Computer Science, Man Univ, firstname.lastname@example.org