16. TABLEAUX 2007: Aix en Provence, France

Nicola Olivetti (Ed.): Automated Reasoning with Analytic Tableaux and Related Methods, 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings. Lecture Notes in Computer Science 4548 Springer 2007, ISBN 978-3-540-73098-9 BibTeX

Invited Talks

Piero A. Bonatti:
Nonmonotonic Description Logics - Requirements, Theory, and Implementations. 1
Electronic Edition (link) BibTeX
John-Jules Ch. Meyer:
Our Quest for the Holy Grail of Agent Verification. 2-9
Electronic Edition (link) BibTeX
Cesare Tinelli:
An Abstract Framework for Satisfiability Modulo Theories. 10
Electronic Edition (link) BibTeX

Research Papers

Franz Baader, Rafael Peñaloza:
Axiom Pinpointing in General Tableaux. 11-27
Electronic Edition (link) BibTeX
Matthias Baaz, George Metcalfe:
Proof Theory for First Order Lukasiewicz Logic. 28-42
Electronic Edition (link) BibTeX
Philippe Balbiani, Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima:
A Tableau Method for Public Announcement Logics. 43-59
Electronic Edition (link) BibTeX
Shoham Ben-David, Richard J. Trefler, Grant E. Weddell:
Bounded Model Checking with Description Logic Reasoning. 60-72
Electronic Edition (link) BibTeX
Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala:
Tableau Systems for Logics of Subinterval Structures over Dense Orderings. 73-89
Electronic Edition (link) BibTeX
Linda Buisman, Rajeev Goré:
A Cut-Free Sequent Calculus for Bi-intuitionistic Logic. 90-106
Electronic Edition (link) BibTeX
Olivier Gasquet, Bilal Said:
Tableaux with Dynamic Filtration for Layered Modal Logics. 107-118
Electronic Edition (link) BibTeX
Roderic A. Girle:
The Neighbourhood of S0.9 and S1. 119-132
Electronic Edition (link) BibTeX
Rajeev Goré, Linh Anh Nguyen:
EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies. 133-148
Electronic Edition (link) BibTeX
Ryo Ishigaki, Kentaro Kikuchi:
Tree-Sequent Methods for Subintuitionistic Predicate Logics. 149-164
Electronic Edition (link) BibTeX
Ekaterina Komendantskaya:
A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation. 165-182
Electronic Edition (link) BibTeX
Neil V. Murray, Erik Rosenthal:
Updating Reduced Implicate Tries. 183-198
Electronic Edition (link) BibTeX
Nicolas Peltier:
A Bottom-Up Approach to Clausal Tableaux. 199-215
Electronic Edition (link) BibTeX
André Platzer:
Differential Dynamic Logic for Verifying Parametric Hybrid Systems. 216-232
Electronic Edition (link) BibTeX

System Descriptions

Alessandro Avellone, Guido Fiorino, Ugo Moscato:
Improvements to the Tableau Prover PITP. 233-237
Electronic Edition (link) BibTeX
Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato:
KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning. 238-244
Electronic Edition (link) BibTeX