14. TABLEAUX 2005:
Koblenz,
Germany
Bernhard Beckert (Ed.):
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings.
Lecture Notes in Computer Science 3702 Springer 2005, ISBN 3-540-28931-3 BibTeX
Invited Talks
Research Papers
- Roger Antonsen, Arild Waaler:
Consistency of Variable Splitting in Free Variable Systems of First-Order Logic.
33-47
Electronic Edition (link) BibTeX
- Serge Autexier:
On the Dynamic Increase of Multiplicities in Matrix Proof Methods for Classical Higher-Order Logic.
48-62
Electronic Edition (link) BibTeX
- Davide Bresolin, Angelo Montanari:
A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic.
63-77
Electronic Edition (link) BibTeX
- James Brotherston:
Cyclic Proofs for First-Order Logic with Inductive Definitions.
78-92
Electronic Edition (link) BibTeX
- Domenico Cantone, Calogero G. Zarba:
A Tableau-Based Decision Procedure for a Fragment of Graph Theory Involving Reachability and Acyclicity.
93-107
Electronic Edition (link) BibTeX
- Tobias Gedell:
Embedding Static Analysis into Tableaux and Sequent Based Frameworks.
108-122
Electronic Edition (link) BibTeX
- Martin Giese:
A Calculus for Type Predicates and Type Coercion.
123-137
Electronic Edition (link) BibTeX
- Rajeev Goré, Linh Anh Nguyen:
A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics.
138-152
Electronic Edition (link) BibTeX
- Swen Jacobs, Uwe Waldmann:
Comparing Instance Generation Methods for Automated Reasoning.
153-168
Electronic Edition (link) BibTeX
- Ken Kaneiwa, Riichiro Mizoguchi:
An Order-Sorted Quantified Modal Logic for Meta-ontology.
169-184
Electronic Edition (link) BibTeX
- Tatjana Lutovac, James Harland:
A Redundancy Analysis of Sequent Proofs.
185-200
Electronic Edition (link) BibTeX
- Carsten Lutz, Maja Milicic:
A Tableau Algorithm for Description Logics with Concrete Domains and GCIs.
201-216
Electronic Edition (link) BibTeX
- Swaha Miller, David A. Plaisted:
The Space Efficiency of OSHL.
217-230
Electronic Edition (link) BibTeX
- Neil V. Murray, Erik Rosenthal:
Efficient Query Processing with Compiled Knowledge Bases.
231-244
Electronic Edition (link) BibTeX
- Jens Otten:
Clausal Connection-Based Theorem Proving in Intuitionistic First-Order Logic.
245-261
Electronic Edition (link) BibTeX
- Sorin Stratulat:
Automatic 'Descente Infinie' Induction Reasoning.
262-276
Electronic Edition (link) BibTeX
- Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya:
A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus.
277-291
Electronic Edition (link) BibTeX
- Dan E. Willard:
On the Partial Respects in Which a Real Valued Arithmetic System Can Verify Its Tableaux Consistency.
292-306
Electronic Edition (link) BibTeX
System Descriptions
- Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni:
Pdk: The System and Its Language.
307-311
Electronic Edition (link) BibTeX
- Philipp Correll, Gernot Stenz:
Proof Output and Transformation for Disconnection Tableaux.
312-317
Electronic Edition (link) BibTeX
- Olivier Gasquet, Andreas Herzig, Dominique Longin, Mohamad Sahade:
LoTREC: Logical Tableaux Research Engineering Companion.
318-322
Electronic Edition (link) BibTeX
- Thorsten Liebig, Michael Halfmann:
A Tableau-Based Explainer for DL Subsumption.
323-327
Electronic Edition (link) BibTeX
- Nicola Olivetti, Gian Luca Pozzato:
CondLean 3.0: Improving CondLean for Stronger Conditional Logics.
328-332
Electronic Edition (link) BibTeX
- Thomas Raths, Jens Otten, Christoph Kreitz:
The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic.
333-337
Electronic Edition (link) BibTeX
- Gernot Stenz:
Unit Propagation in a Tableau Framework.
338-342
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:43:24 2009
by Michael Ley (ley@uni-trier.de)
