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 
Invited Talks
- Piero A. Bonatti:
Nonmonotonic Description Logics - Requirements, Theory, and Implementations.
1
- John-Jules Ch. Meyer:
Our Quest for the Holy Grail of Agent Verification.
2-9
- Cesare Tinelli:
An Abstract Framework for Satisfiability Modulo Theories.
10
Research Papers
- Franz Baader, Rafael Peñaloza:
Axiom Pinpointing in General Tableaux.
11-27
- Matthias Baaz, George Metcalfe:
Proof Theory for First Order Lukasiewicz Logic.
28-42
- Philippe Balbiani, Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima:
A Tableau Method for Public Announcement Logics.
43-59
- Shoham Ben-David, Richard J. Trefler, Grant E. Weddell:
Bounded Model Checking with Description Logic Reasoning.
60-72
- Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala:
Tableau Systems for Logics of Subinterval Structures over Dense Orderings.
73-89
- Linda Buisman, Rajeev Goré:
A Cut-Free Sequent Calculus for Bi-intuitionistic Logic.
90-106
- Olivier Gasquet, Bilal Said:
Tableaux with Dynamic Filtration for Layered Modal Logics.
107-118
- Roderic A. Girle:
The Neighbourhood of S0.9 and S1.
119-132
- Rajeev Goré, Linh Anh Nguyen:
EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies.
133-148
- Ryo Ishigaki, Kentaro Kikuchi:
Tree-Sequent Methods for Subintuitionistic Predicate Logics.
149-164
- Ekaterina Komendantskaya:
A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation.
165-182
- Neil V. Murray, Erik Rosenthal:
Updating Reduced Implicate Tries.
183-198
- Nicolas Peltier:
A Bottom-Up Approach to Clausal Tableaux.
199-215
- André Platzer:
Differential Dynamic Logic for Verifying Parametric Hybrid Systems.
216-232
System Descriptions
Copyright © Tue Feb 9 19:37:52 2010
by Michael Ley (ley@uni-trier.de)
