Volume 38,
Numbers 1-3,
April 2007
Special Issue on Automated Reasoning with Analytic Tableaux
- Bernhard Beckert, Lawrence C. Paulson:
Preface.
1-2
Electronic Edition (link) BibTeX
- Roger Antonsen, Arild Waaler:
Liberalized Variable Splitting.
3-30
Electronic Edition (link) BibTeX
- Domenico Cantone, Marianna Nicolosi Asmundo:
A Sound Framework for delta-Rule Variants in Free-Variable Semantic Tableaux.
31-56
Electronic Edition (link) BibTeX
- Swen Jacobs, Uwe Waldmann:
Comparing Instance Generation Methods for Automated Reasoning.
57-78
Electronic Edition (link) BibTeX
- Reinhold Letz, Gernot Stenz:
The Disconnection Tableau Calculus.
79-126
Electronic Edition (link) BibTeX
- Martin Giese:
Superposition-based Equality Handling for Analytic Tableaux.
127-153
Electronic Edition (link) BibTeX
- Neil V. Murray, Erik Rosenthal:
Efficient Query Processing with Reduced Implicate Tries.
155-172
Electronic Edition (link) BibTeX
- Davide Bresolin, Angelo Montanari, Guido Sciavicco:
An Optimal Decision Procedure for Right Propositional Neighborhood Logic.
173-199
Electronic Edition (link) BibTeX
- Dominique Larchey-Wendling:
Graph-based Decision for Gödel-Dummett Logics.
201-225
Electronic Edition (link) BibTeX
- Carsten Lutz, Maja Milicic:
A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes.
227-259
Electronic Edition (link) BibTeX
- Thomas Raths, Jens Otten, Christoph Kreitz:
The ILTP Problem Library for Intuitionistic Logic.
261-271
Electronic Edition (link) BibTeX
Volume 38,
Number 4,
May 2007
Copyright © Sun May 17 00:06:26 2009
by Michael Ley (ley@uni-trier.de)
