11. TABLEAUX 2002: Copenhagen, Denmark

@proceedings{DBLP:conf/tableaux/2002,
  editor    = {Uwe Egly and
               Christian G. Ferm{\"u}ller},
  title     = {Automated Reasoning with Analytic Tableaux and Related Methods,
               International Conference, TABLEAUX 2002, Copenhagen, Denmark,
               July 30 - August 1, 2002, Proceedings},
  booktitle = {TABLEAUX},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2381},
  year      = {2002},
  isbn      = {3-540-43929-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

• Matthias Baaz:
  Proof Analysis by Resolution. 1
  Electronic Edition (link) BibTeX
• Dale Miller, Elaine Pimentel:
  Using Linear Logic to Reason about Sequent Systems. 2-23
  Electronic Edition (link) BibTeX

Research Papers

• Matthias Baaz, Agata Ciabattoni:
  A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic. 24-37
  Electronic Edition (link) BibTeX
• Patrick Blackburn, Maarten Marx:
  Tableaux for Quantified Hybrid Logic. 38-52
  Electronic Edition (link) BibTeX
• Nathalie Chetcuti-Sperandio:
  Tableau-Based Automated Deduction for Duration Calculus. 53-69
  Electronic Edition (link) BibTeX
• Marta Cialdea Mayer, Carla Limongelli:
  Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge. 70-84
  Electronic Edition (link) BibTeX
• Anatoli Degtyarev, Michael Fisher, Boris Konev:
  A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic. 85-99
  Electronic Edition (link) BibTeX
• Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran:
  Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks. 100-114
  Electronic Edition (link) BibTeX
• Mauro Ferrari, Camillo Fiorentini, Guido Fiorino:
  Tableau Calculi for the Logics of Finite k-Ary Trees. 115-129
  Electronic Edition (link) BibTeX
• Martin Giese:
  A Model Generation Style Completeness Proof for Constraint Tableaux with Superposition. 130-144
  Electronic Edition (link) BibTeX
• Jan Hladik:
  Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment. 145-159
  Electronic Edition (link) BibTeX
• Reinhold Letz:
  Lemma and Model Caching in Decision Procedures for Quantified Boolean Formulas. 160-175
  Electronic Edition (link) BibTeX
• Reinhold Letz, Gernot Stenz:
  Integration of Equality Reasoning into the Disconnection Calculus. 176-190
  Electronic Edition (link) BibTeX
• George Metcalfe, Nicola Olivetti, Dov M. Gabbay:
  Analytic Sequent Calculi for Abelian and ukasiewicz Logics. 191-205
  Electronic Edition (link) BibTeX
• Linh Anh Nguyen:
  Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief. 206-220
  Electronic Edition (link) BibTeX
• Uwe Petermann:
  A Confluent Theory Connection Calculus. 221-234
  Electronic Edition (link) BibTeX
• Viorica Sofronie-Stokkermans:
  On Uniform Word Problems Involving Bridging Operators on Distributive Lattices. 235-250
  Electronic Edition (link) BibTeX
• Balder ten Cate, Chung-chieh Shan:
  Question Answering: From Partitions to Prolog. 251-265
  Electronic Edition (link) BibTeX
• Virginie Thion, Serenella Cerrito, Marta Cialdea Mayer:
  A General Theorem Prover for Quantified Modal Logics. 266-280
  Electronic Edition (link) BibTeX
• Dan E. Willard:
  Some New Exceptions for the Semantic Tableaux Version of the Second Incompleteness Theorem. 281-297
  Electronic Edition (link) BibTeX
• Claus-Peter Wirth:
  A New Indefinite Semantics for Hilbert's Epsilon. 298-314
  Electronic Edition (link) BibTeX
• Calogero G. Zarba:
  A Tableau Calculus for Combining Non-disjoint Theories. 315-329
  Electronic Edition (link) BibTeX

System Descriptions Papers

• L. Habert, J.-M. Notin, Didier Galmiche:
  LINK: A Proof Environment Based on Proof Nets. 330-334
  Electronic Edition (link) BibTeX
• Gernot Stenz:
  DCTP 1.2 - System Abstract. 335-340
  Electronic Edition (link) BibTeX