Sciweavers

13 search results - page 1 / 3
» tableaux 1998
Sort
View
TABLEAUX
1998
Springer
13 years 7 months ago
A Tableaux Calculus for Ambiguous Quantification
Appeared in: Harrie de Swart, editor. Automated Reasoning with Analytic Tableaux and Related Methods, LNAI 1489, Springer, pages 232
Christof Monz, Maarten de Rijke
TABLEAUX
1998
Springer
13 years 7 months ago
FaCT and DLP
Ian Horrocks, Peter F. Patel-Schneider
TABLEAUX
1998
Springer
13 years 7 months ago
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 i...
Ullrich Hustadt, Renate A. Schmidt
TABLEAUX
1998
Springer
13 years 7 months ago
A Tableau Calculus for Quantifier-Free Set Theoretic Formulae
Abstract. Set theory is the common language of mathematics. Therefore, set theory plays an important r^ole in many important applications of automated deduction. In this paper, we ...
Bernhard Beckert, Ulrike Hartmer