Tableaux and Related Methods (2001)

by Reiner Hähnle
Citations:39 - 3 self

Active Bibliography

7 Clause Trees: a Tool for Understanding and Implementing Resolution in Automated Reasoning – J. D. Horton, Bruce Spencer
3 The Practice of Clausification in Automatic Theorem Proving – Geoff Sutcliffe, Stuart Melville - 1996
24 Simplification - A general constraint propagation technique for propositional and modal tableaux – Fabio Massacci - 1998
22 The Search Efficiency of Theorem Proving Strategies: An Analytical Comparison – David Plaisted - 1994
1 Efficient First-Order Semantic Deduction Techniques – Yunshan Zhu - 1998
154 Resolution Theorem Proving – Leo Bachmair, Harald Ganzinger - 2001
2 The Tableau-based Theorem Prover – Version Bernhard Beckert, Bernhard Beckert, Reiner Hahnle, Peter Oel, Martin Sulzmann
12 The Tableau-based Theorem Prover 3TAP - Version 4.0 – Bernhard Beckert, Reiner Hähnle, Peter Oel, Martin Sulzmann - 1996
8 Refinements of Theory Model Elimination and a Variant without Contrapositives – Peter Baumgartner - 1994
19 Deduction Systems Based on Resolution – Norbert Eisinger, Hans Jürgen Ohlbach - 1991
52 Partition-Based Logical Reasoning for First-Order and Propositional Theories – Eyal Amir, Sheila Mcilraith - 2000
12 Are Tableaux an Improvement on Truth-Tables? Cut-Free proofs and Bivalence – Marcello D'Agostino - 1992
8 Simultaneous Construction of Refutations and Models for Propositional Formulas – Allen Van Gelder - 1995
10 A Propositional Theorem Prover to Solve Planning and Other Problems – Allen Van Gelder, Fumiaki (Kamiya) Okushi - 1998
6 The Partial Rehabilitation of Propositional Resolution – Allen Van Gelder, Fumiaki Kamiya - 1996
7 Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme – Stéphane Lescuyer, Sylvain Conchon
Resolution – Tomer Líbal, Betreuung Univ. Prof, Dr. Phil Alex, Er Leitsch, Technische Universität Wien, Tomer Líbal, Advisor Univ. Prof, Dr. Phil Alex, Er Leitsch, Technische Universität Wien, Tomer Líbal, Bruno Woltzenlogel Paleo, Martin Riener, David Cerna, Mikheil Rukhaia, Paolo Baldi
Chapter 1 Knowledge Representation and Classical Logic – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Vladimir Lifschitz, Leora Morgenstern, David Plaisted
52 The Taming of the Cut. Classical Refutations with Analytic Cut – Marcello D'Agostino, Marco Mondadori - 1994