ask others

11. TABLEAUX 2002: Copenhagen, Denmark

> Home > Conferences and Workshops > TABLEAUX

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tableaux/2002
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tableaux/2002
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

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tableaux/Baaz02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tableaux/Baaz02
Matthias Baaz:
Proof Analysis by Resolution. 1
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tableaux/MillerP02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tableaux/MillerP02
Dale Miller, Elaine Pimentel:
Using Linear Logic to Reason about Sequent Systems. 2-23

Research Papers

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

System Descriptions Papers

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tableaux/HabertNG02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tableaux/HabertNG02
L. Habert, J.-M. Notin, Didier Galmiche:
LINK: A Proof Environment Based on Proof Nets. 330-334
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tableaux/Stenz02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tableaux/Stenz02
Gernot Stenz:
DCTP 1.2 - System Abstract. 335-340

maintained by

, founded at