| 2008 | A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments. Renate A. Schmidt, Dmitry Tishkovsky |
| 2008 | A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description). Christoph Beierle, Gabriele Kern-Isberner, Nicole Koch |
| 2008 | Aligator: A Mathematica Package for Invariant Generation (System Description). Laura Kovács |
| 2008 | An Experimental Evaluation of Global Caching for (System Description). Rajeev Goré, Linda Postniece |
| 2008 | Automata-Based Axiom Pinpointing. Franz Baader, Rafael Peñaloza |
| 2008 | Automated Complexity Analysis Based on the Dependency Pair Method. Nao Hirokawa, Georg Moser |
| 2008 | Automated Implicit Computational Complexity Analysis (System Description). Martin Avanzini, Georg Moser, Andreas Schnabl |
| 2008 | Automated Induction with Constrained Tree Automata. Adel Bouhoula, Florent Jacquemard |
| 2008 | Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings Alessandro Armando, Peter Baumgartner, Gilles Dowek |
| 2008 | CASC-J4 The 4th IJCAR ATP System Competition. Geoff Sutcliffe |
| 2008 | Canonical Inference for Implicational Systems. Maria Paola Bonacina, Nachum Dershowitz |
| 2008 | Canonicity! Nachum Dershowitz |
| 2008 | Celf - A Logical Framework for Deductive and Concurrent Systems (System Description). Anders Schack-Nielsen, Carsten Schürmann |
| 2008 | Certifying a Tree Automata Completion Checker. Benoît Boyer, Thomas Genet, Thomas P. Jensen |
| 2008 | Challenges in the Automated Verification of Security Protocols. Hubert Comon-Lundh |
| 2008 | Deciding Effectively Propositional Logic Using DPLL and Substitution Sets. Leonardo Mendonça de Moura, Nikolaj S. Bjørner |
| 2008 | Efficient Well-Definedness Checking. Ádám Darvas, Farhad Mehta, Arsenii Rudich |
| 2008 | Engineering DPLL(T) + Saturation. Leonardo Mendonça de Moura, Nikolaj S. Bjørner |
| 2008 | Focusing in Linear Meta-logic. Vivek Nigam, Dale Miller |
| 2008 | Individual Reuse in Description Logic Reasoning. Boris Motik, Ian Horrocks |
| 2008 | KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description). André Platzer, Jan-David Quesel |
| 2008 | LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description). Christoph Benzmüller, Lawrence C. Paulson, Frank Theiss, Arnaud Fietzke |
| 2008 | Labelled Splitting. Arnaud Fietzke, Christoph Weidenbach |
| 2008 | Linear Quantifier Elimination. Tobias Nipkow |
| 2008 | LogAnswer - A Deduction-Based Question Answering System (System Description). Ulrich Furbach, Ingo Glöckner, Hermann Helbig, Björn Pelzer |
| 2008 | MTT: The Maude Termination Tool (System Description). Francisco Durán, Salvador Lucas, José Meseguer |
| 2008 | MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance. Josef Urban, Geoff Sutcliffe, Petr Pudlák, Jirí Vyskocil |
| 2008 | Modularity of Confluence. Vincent van Oostrom |
| 2008 | Multi-completion with Termination Tools (System Description). Haruhiko Sato, Sarah Winkler, Masahito Kurihara, Aart Middeldorp |
| 2008 | On Automating the Calculus of Relations. Peter Höfner, Georg Struth |
| 2008 | Preservation of Proof Obligations from Java to the Java Virtual Machine. Gilles Barthe, Benjamin Grégoire, Mariela Pavlova |
| 2008 | Proof Systems for Effectively Propositional Logic. Juan Antonio Navarro Pérez, Andrei Voronkov |
| 2008 | Proving Bounds on Real-Valued Functions with Computations. Guillaume Melquiond |
| 2008 | Proving Group Protocols Secure Against Eavesdroppers. Steve Kremer, Antoine Mercier, Ralf Treinen |
| 2008 | Quantitative Separation Logic and Programs with Lists. Marius Bozga, Radu Iosif, Swann Perarnau |
| 2008 | Software Verification: Roles and Challenges for Automatic Decision Procedures. Aarti Gupta |
| 2008 | THF0 - The Core of the TPTP Language for Higher-Order Logic. Christoph Benzmüller, Florian Rabe, Geoff Sutcliffe |
| 2008 | Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse. Mark Kaminski, Gert Smolka |
| 2008 | The Abella Interactive Theorem Prover (System Description). Andrew Gacek |
| 2008 | The Complexity of Conjunctive Query Answering in Expressive Description Logics. Carsten Lutz |
| 2008 | The Logical Difference Problem for Description Logic Terminologies. Boris Konev, Dirk Walther, Frank Wolter |
| 2008 | Towards SMT Model Checking of Array-Based Systems. Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli |
| 2008 | Unification and Matching Modulo Leaf-Permutative Equational Presentations. Thierry Boy de la Tour, Mnacho Echenim, Paliath Narendran |
| 2008 | iProver - An Instantiation-Based Theorem Prover for First-Order Logic (System Description). Konstantin Korovin |
| 2008 | leanCoP 2.0and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions). Jens Otten |