Volume 38, Issue 1-3

April 2007

Special Issue on Automated Reasoning with Analytic Tableaux

Filter by

Volume:

Sort by

Date published:

New to old Old to new

11 articles in this issue

Preface
Bernhard Beckert
Lawrence C. Paulson
OriginalPaper 14 February 2007 Pages: 1 - 2
Liberalized Variable Splitting
Roger Antonsen
Arild Waaler
OriginalPaper 04 January 2007 Pages: 3 - 30
A Sound Framework for δ-Rule Variants in Free-Variable Semantic Tableaux
Domenico Cantone
Marianna Nicolosi-Asmundo
OriginalPaper 02 December 2006 Pages: 31 - 56
Comparing Instance Generation Methods for Automated Reasoning
Swen Jacobs
Uwe Waldmann
OriginalPaper 16 December 2006 Pages: 57 - 78
The Disconnection Tableau Calculus
Reinhold Letz
Gernot Stenz
OriginalPaper 02 December 2006 Pages: 79 - 126
Superposition-based Equality Handling for Analytic Tableaux
Martin Giese
OriginalPaper 02 December 2006 Pages: 127 - 153
Efficient Query Processing with Reduced Implicate Tries
Neil V. Murray
Erik Rosenthal
OriginalPaper 02 December 2006 Pages: 155 - 172
An Optimal Decision Procedure for Right Propositional Neighborhood Logic
Davide Bresolin
Angelo Montanari
Guido Sciavicco
OriginalPaper 02 December 2006 Pages: 173 - 199
Graph-based Decision for Gödel-Dummett Logics
Dominique Larchey-Wendling
OriginalPaper 01 December 2006 Pages: 201 - 225
A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes
Carsten Lutz
Maja Miličić
OriginalPaper 06 December 2006 Pages: 227 - 259
The ILTP Problem Library for Intuitionistic Logic
Thomas Raths
Jens Otten
Christoph Kreitz
OriginalPaper 20 February 2007 Pages: 261 - 271

Search