default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID22nd TABLEAUX 2013: Nancy, France
- Didier Galmiche, Dominique Larchey-Wendling
:
Automated Reasoning with Analytic Tableaux and Related Methods - 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings. Lecture Notes in Computer Science 8123, Springer 2013, ISBN 978-3-642-40536-5
Invited Talks
- Clark W. Barrett, Stéphane Demri, Morgan Deters:
Witness Runs for Counter Machines - (Abstract). 1-4 - Sara Negri:
On the Duality of Proofs and Countermodels in Labelled Sequent Calculi. 5-9 - Tobias Nipkow, Maximilian P. L. Haslbeck:
A Brief Survey of Verified Decision Procedures for Equivalence of Regular Expressions. 10-12
Research Papers
- Carlos Areces, Ezequiel Orbe:
Dealing with Symmetries in Modal Tableaux. 13-27 - Andreas Bauer, Peter Baumgartner, Martin Diller, Michael Norrish:
Tableaux for Verification of Data-Centric Processes. 28-43 - Nick Bezhanishvili, Silvio Ghilardi:
Bounded Proofs and Step Frames. 44-58 - Joseph Boudou, Bruno Woltzenlogel Paleo:
Compression of Propositional Resolution Proofs by Lowering Subproofs. 59-73 - Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco:
A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation. 74-80 - Agata Ciabattoni, Paolo Maffezioli, Lara Spendier:
Hypersequent and Labelled Calculi for Intermediate Logics. 81-96 - Amélie David:
TATL: Implementation of ATL Tableau-Based Decision Procedure. 97-103 - Mauro Ferrari, Camillo Fiorentini, Guido Fiorino:
A Terminating Evaluation-Driven Variant of G3i. 104-118 - Tim French, John Christopher McCabe-Dansted, Mark Reynolds:
Model Checking General Linear Temporal Logic. 119-133 - Ulrich Furbach, Claudia Schon:
Semantically Guided Evolution of ABoxes. 134-148 - Stéphane Graham-Lengrand:
Psyche: A Proof-Search Engine Based on Sequent Calculus with an LCF-Style Architecture. 149-156 - Stefan Hetzl, Tomer Libal, Martin Riener, Mikheil Rukhaia:
Understanding Resolution Proofs through Herbrand's Theorem. 157-171 - Zhe Hou, Alwen Tiu, Rajeev Goré:
A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search. 172-187 - Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky:
A Refined Tableau Calculus with Controlled Blocking for the Description Logic. 188-202 - Hidenori Kurokawa:
Prefixed Tableau Systems for Logic of Proofs and Provability. 203-218 - Björn Lellmann, Dirk Pattinson:
Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5. 219-233 - Nicolas Peltier:
Schemata of Formulæ in the Theory of Arrays. 234-249 - Christoph Röthlisberger:
TAFA - A Tool for Admissibility in Finite Algebras. 250-256 - Hendrik Tews:
Formalizing Cut Elimination of Coalgebraic Logics in Coq. 257-272 - Ming Zuo, Volker Haarslev:
Intelligent Tableau Algorithm for DL Reasoning. 273-287
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-02-09 14:44 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:
