Tableaux and Related Methods (2001)

by Reiner Hähnle
Citations:42 - 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
157 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
12 Are Tableaux an Improvement on Truth-Tables? Cut-Free proofs and Bivalence – Marcello D'Agostino - 1992
51 Partition-Based Logical Reasoning for First-Order and Propositional Theories – Eyal Amir, Sheila Mcilraith - 2000
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
8 Simultaneous Construction of Refutations and Models for Propositional Formulas – Allen Van Gelder - 1995
7 Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme – Stéphane Lescuyer, Sylvain Conchon
Unification in Higher-order Resolution – Tomer Líbal - 2012
11 Knowledge Representation and Classical Logic – Vladimir Lifschitz, Leora Morgenstern, David Plaisted - 2007
52 The Taming of the Cut. Classical Refutations with Analytic Cut – Marcello D'Agostino, Marco Mondadori - 1994