| 2009 | A Novel Architecture for Situation Awareness Systems. Franz Baader, Andreas Bauer, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon, Krystian Ji, Kevin Lee, David Rajaratnam, Rolf Schwitter |
| 2009 | A Schemata Calculus for Propositional Logic. Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier |
| 2009 | A Tableau System for the Modal Natthapong Jungteerapanich |
| 2009 | A Tableau-Based System for Spatial Reasoning about Directional Relations. Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco |
| 2009 | Abduction and Consequence Generation in a Support System for the Design of Logical Multiple-Choice Questions. Marta Cialdea Mayer |
| 2009 | Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings Martin Giese, Arild Waaler |
| 2009 | Automated Synthesis of Tableau Calculi. Renate A. Schmidt, Dmitry Tishkovsky |
| 2009 | Canonical Constructive Systems. Arnon Avron, Ori Lahav |
| 2009 | Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus. Régis Alenda, Nicola Olivetti, Camilla Schwind |
| 2009 | Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus. Bianca Boretti, Sara Negri |
| 2009 | Generic Modal Cut Elimination Applied to Conditional Logics. Dirk Pattinson, Lutz Schröder |
| 2009 | Goal-Directed Invariant Synthesis for Model Checking Modulo Theories. Silvio Ghilardi, Silvio Ranise |
| 2009 | Modular Sequent Systems for Modal Logic. Kai Brünnler, Lutz Straßburger |
| 2009 | On the Proof Theory of Regular Fixed Points. David Baelde |
| 2009 | On the Use of Automata for Deciding Linear Arithmetic. Pierre Wolper |
| 2009 | Presenting Constraints. Peter Jeavons |
| 2009 | Prime Implicate Tries. Andrew Matusiewicz, Neil V. Murray, Erik Rosenthal |
| 2009 | Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents. Luís Pinto, Tarmo Uustalu |
| 2009 | Proof Systems for a Gödel Modal Logic. George Metcalfe, Nicola Olivetti |
| 2009 | Sound Global State Caching for Rajeev Goré, Florian Widmann |
| 2009 | Tableaux and Model Checking for Memory Logics. Carlos Areces, Diego Figueira, Daniel Gorín, Sergio Mera |
| 2009 | Tableaux for Projection Computation and Knowledge Compilation. Christoph Wernhard |
| 2009 | Taming Displayed Tense Logics Using Nested Sequents with Deep Inference. Rajeev Goré, Linda Postniece, Alwen Tiu |
| 2009 | Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies. Mark Kaminski, Sigurd Schneider, Gert Smolka |
| 2009 | Terminating Tableaux for the Basic Fragment of Simple Type Theory. Chad E. Brown, Gert Smolka |