| 2005 | A Calculus for Type Predicates and Type Coercion. Martin Giese |
| 2005 | A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus. Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya |
| 2005 | A Redundancy Analysis of Sequent Proofs. Tatjana Lutovac, James Harland |
| 2005 | A Tableau Algorithm for Description Logics with Concrete Domains and GCIs. Carsten Lutz, Maja Milicic |
| 2005 | A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics. Rajeev Goré, Linh Anh Nguyen |
| 2005 | A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic. Davide Bresolin, Angelo Montanari |
| 2005 | A Tableau-Based Decision Procedure for a Fragment of Graph Theory Involving Reachability and Acyclicity. Domenico Cantone, Calogero G. Zarba |
| 2005 | A Tableau-Based Explainer for DL Subsumption. Thorsten Liebig, Michael Halfmann |
| 2005 | An Order-Sorted Quantified Modal Logic for Meta-ontology. Ken Kaneiwa, Riichiro Mizoguchi |
| 2005 | Automated Reasoning in the Context of the Semantic Web. Hans Jürgen Ohlbach |
| 2005 | Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings Bernhard Beckert |
| 2005 | Automatic 'Descente Infinie' Induction Reasoning. Sorin Stratulat |
| 2005 | Clausal Connection-Based Theorem Proving in Intuitionistic First-Order Logic. Jens Otten |
| 2005 | Comparing Instance Generation Methods for Automated Reasoning. Swen Jacobs, Uwe Waldmann |
| 2005 | CondLean 3.0: Improving CondLean for Stronger Conditional Logics. Nicola Olivetti, Gian Luca Pozzato |
| 2005 | Consistency of Variable Splitting in Free Variable Systems of First-Order Logic. Roger Antonsen, Arild Waaler |
| 2005 | Cyclic Proofs for First-Order Logic with Inductive Definitions. James Brotherston |
| 2005 | Description Logics in Ontology Applications. Ian Horrocks |
| 2005 | Efficient Query Processing with Compiled Knowledge Bases. Neil V. Murray, Erik Rosenthal |
| 2005 | Embedding Static Analysis into Tableaux and Sequent Based Frameworks. Tobias Gedell |
| 2005 | Formal Versus Rigorous Mathematics: How to Get Your Papers Published. Erik Rosenthal |
| 2005 | LoTREC: Logical Tableaux Research Engineering Companion. Olivier Gasquet, Andreas Herzig, Dominique Longin, Mohamad Sahade |
| 2005 | On the Dynamic Increase of Multiplicities in Matrix Proof Methods for Classical Higher-Order Logic. Serge Autexier |
| 2005 | On the Partial Respects in Which a Real Valued Arithmetic System Can Verify Its Tableaux Consistency. Dan E. Willard |
| 2005 | Pdk: The System and Its Language. Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni |
| 2005 | Proof Output and Transformation for Disconnection Tableaux. Philipp Correll, Gernot Stenz |
| 2005 | Query Processing in Peer-to-Peer Systems: An Epistemic Logic Approach. Diego Calvanese |
| 2005 | The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic. Thomas Raths, Jens Otten, Christoph Kreitz |
| 2005 | The Space Efficiency of OSHL. Swaha Miller, David A. Plaisted |
| 2005 | Unit Propagation in a Tableau Framework. Gernot Stenz |