| 2002 | A Confluent Theory Connection Calculus. Uwe Petermann |
| 2002 | A General Theorem Prover for Quantified Modal Logics. Virginie Thion, Serenella Cerrito, Marta Cialdea Mayer |
| 2002 | A Model Generation Style Completeness Proof for Constraint Tableaux with Superposition. Martin Giese |
| 2002 | A New Indefinite Semantics for Hilbert's Epsilon. Claus-Peter Wirth |
| 2002 | A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic. Matthias Baaz, Agata Ciabattoni |
| 2002 | A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic. Anatoli Degtyarev, Michael Fisher, Boris Konev |
| 2002 | A Tableau Calculus for Combining Non-disjoint Theories. Calogero G. Zarba |
| 2002 | Analytic Sequent Calculi for Abelian and ukasiewicz Logics. George Metcalfe, Nicola Olivetti, Dov M. Gabbay |
| 2002 | Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief. Linh Anh Nguyen |
| 2002 | Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2002, Copenhagen, Denmark, July 30 - August 1, 2002, Proceedings Uwe Egly, Christian G. Fermüller |
| 2002 | DCTP 1.2 - System Abstract. Gernot Stenz |
| 2002 | Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment. Jan Hladik |
| 2002 | Integration of Equality Reasoning into the Disconnection Calculus. Reinhold Letz, Gernot Stenz |
| 2002 | LINK: A Proof Environment Based on Proof Nets. L. Habert, J.-M. Notin, Didier Galmiche |
| 2002 | Lemma and Model Caching in Decision Procedures for Quantified Boolean Formulas. Reinhold Letz |
| 2002 | Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge. Marta Cialdea Mayer, Carla Limongelli |
| 2002 | Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks. Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran |
| 2002 | On Uniform Word Problems Involving Bridging Operators on Distributive Lattices. Viorica Sofronie-Stokkermans |
| 2002 | Proof Analysis by Resolution. Matthias Baaz |
| 2002 | Question Answering: From Partitions to Prolog. Balder ten Cate, Chung-chieh Shan |
| 2002 | Some New Exceptions for the Semantic Tableaux Version of the Second Incompleteness Theorem. Dan E. Willard |
| 2002 | Tableau Calculi for the Logics of Finite k-Ary Trees. Mauro Ferrari, Camillo Fiorentini, Guido Fiorino |
| 2002 | Tableau-Based Automated Deduction for Duration Calculus. Nathalie Chetcuti-Sperandio |
| 2002 | Tableaux for Quantified Hybrid Logic. Patrick Blackburn, Maarten Marx |
| 2002 | Using Linear Logic to Reason about Sequent Systems. Dale Miller, Elaine Pimentel |