default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th TABLEAUX 2002: Copenhagen, Denmark
- Uwe Egly, Christian G. Fermüller:
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2002, Copenhagen, Denmark, July 30 - August 1, 2002, Proceedings. Lecture Notes in Computer Science 2381, Springer 2002, ISBN 3-540-43929-3
Invited Papers
- Matthias Baaz:
Proof Analysis by Resolution. 1 - Dale Miller
, Elaine Pimentel:
Using Linear Logic to Reason about Sequent Systems. 2-23
Research Papers
- Matthias Baaz, Agata Ciabattoni:
A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic. 24-37 - Patrick Blackburn, Maarten Marx:
Tableaux for Quantified Hybrid Logic. 38-52 - Nathalie Chetcuti-Sperandio:
Tableau-Based Automated Deduction for Duration Calculus. 53-69 - Marta Cialdea Mayer, Carla Limongelli:
Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge. 70-84 - Anatoli Degtyarev, Michael Fisher, Boris Konev:
A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic. 85-99 - Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran:
Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks. 100-114 - Mauro Ferrari, Camillo Fiorentini, Guido Fiorino:
Tableau Calculi for the Logics of Finite k-Ary Trees. 115-129 - Martin Giese:
A Model Generation Style Completeness Proof for Constraint Tableaux with Superposition. 130-144 - Jan Hladik:
Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment. 145-159 - Reinhold Letz:
Lemma and Model Caching in Decision Procedures for Quantified Boolean Formulas. 160-175 - Reinhold Letz, Gernot Stenz:
Integration of Equality Reasoning into the Disconnection Calculus. 176-190 - George Metcalfe, Nicola Olivetti, Dov M. Gabbay:
Analytic Sequent Calculi for Abelian and ukasiewicz Logics. 191-205 - Linh Anh Nguyen:
Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief. 206-220 - Uwe Petermann:
A Confluent Theory Connection Calculus. 221-234 - Viorica Sofronie-Stokkermans:
On Uniform Word Problems Involving Bridging Operators on Distributive Lattices. 235-250 - Balder ten Cate, Chung-chieh Shan:
Question Answering: From Partitions to Prolog. 251-265 - Virginie Thion, Serenella Cerrito, Marta Cialdea Mayer:
A General Theorem Prover for Quantified Modal Logics. 266-280 - Dan E. Willard:
Some New Exceptions for the Semantic Tableaux Version of the Second Incompleteness Theorem. 281-297 - Claus-Peter Wirth:
A New Indefinite Semantics for Hilbert's Epsilon. 298-314 - Calogero G. Zarba:
A Tableau Calculus for Combining Non-disjoint Theories. 315-329
System Descriptions Papers
- L. Habert, J.-M. Notin, Didier Galmiche:
LINK: A Proof Environment Based on Proof Nets. 330-334 - Gernot Stenz:
DCTP 1.2 - System Abstract. 335-340
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-28 22:12 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:
