Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar11. 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. 1Dale 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-37Patrick Blackburn, Maarten Marx:
Tableaux for Quantified Hybrid Logic. 38-52Nathalie Chetcuti-Sperandio:
Tableau-Based Automated Deduction for Duration Calculus. 53-69Marta Cialdea Mayer, Carla Limongelli:
Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge. 70-84Anatoli Degtyarev, Michael Fisher, Boris Konev:
A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic. 85-99Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran:
Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks. 100-114Mauro Ferrari, Camillo Fiorentini, Guido Fiorino:
Tableau Calculi for the Logics of Finite k-Ary Trees. 115-129Martin Giese:
A Model Generation Style Completeness Proof for Constraint Tableaux with Superposition. 130-144Jan Hladik:
Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment. 145-159Reinhold Letz:
Lemma and Model Caching in Decision Procedures for Quantified Boolean Formulas. 160-175Reinhold Letz, Gernot Stenz:
Integration of Equality Reasoning into the Disconnection Calculus. 176-190George Metcalfe, Nicola Olivetti, Dov M. Gabbay:
Analytic Sequent Calculi for Abelian and ukasiewicz Logics. 191-205Linh Anh Nguyen:
Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief. 206-220Uwe Petermann:
A Confluent Theory Connection Calculus. 221-234Viorica Sofronie-Stokkermans:
On Uniform Word Problems Involving Bridging Operators on Distributive Lattices. 235-250Balder ten Cate, Chung-chieh Shan:
Question Answering: From Partitions to Prolog. 251-265Virginie Thion, Serenella Cerrito, Marta Cialdea Mayer:
A General Theorem Prover for Quantified Modal Logics. 266-280Dan E. Willard:
Some New Exceptions for the Semantic Tableaux Version of the Second Incompleteness Theorem. 281-297Claus-Peter Wirth:
A New Indefinite Semantics for Hilbert's Epsilon. 298-314Calogero 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-334Gernot Stenz:
DCTP 1.2 - System Abstract. 335-340
last updated on 2019-10-14 23:05 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
