![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
16th TABLEAUX 2007: Aix en Provence, France
- Nicola Olivetti:
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 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
- Alessandro Avellone
, Guido Fiorino, Ugo Moscato:
Improvements to the Tableau Prover PITP. 233-237 - Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato:
KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning. 238-244
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.