default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID16th 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
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.
last updated on 2025-12-04 22:05 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
