| 2008 | MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance. | Josef Urban, Geoff Sutcliffe, Petr Pudlk, Jir Vyskocil |
| 2008 | Integration of the TPTPWorld into SigmaKEE. | Steven Trac, Geoff Sutcliffe, Adam Pease |
| 2008 | Unification and Matching Modulo Leaf-Permutative Equational Presentations. | Thierry Boy de la Tour, Mnacho Echenim, Paliath Narendran |
| 2008 | CASC-J4 The 4th IJCAR ATP System Competition. | Geoff Sutcliffe |
| 2008 | Constraint Modelling: A Challenge for First Order Automated Reasoning (Invited Talk). | John K. Slaney |
| 2008 | Presenting TSTP Proofs with Inference Web Tools. | Paulo Pinheiro da Silva, Geoff Sutcliffe, Cynthia Chang, Li Ding, Nicholas Del Rio, Deborah L. McGuinness |
| 2008 | A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments. | Renate A. Schmidt, Dmitry Tishkovsky |
| 2008 | Celf - A Logical Framework for Deductive and Concurrent Systems (System Description). | Anders Schack-Nielsen, Carsten Schrmann |
| 2008 | Multi-completion with Termination Tools (System Description). | Haruhiko Sato, Sarah Winkler, Masahito Kurihara, Aart Middeldorp |
| 2008 | randoCoP: Randomizing the Proof Search Order in the Connection Calculus. | Thomas Raths, Jens Otten |
| 2008 | KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description). | Andr Platzer, Jan-David Quesel |
| 2008 | Proof Systems for Effectively Propositional Logic. | Juan Antonio Navarro Prez, Andrei Voronkov |
| 2008 | Combining Theorem Proving with Natural Language Processing. | Bjrn Pelzer, Ingo Glckner |
| 2008 | The Annual SUMO Reasoning Prizes at CASC. | Adam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac |
| 2008 | leanCoP 2.0and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions). | Jens Otten |
| 2008 | Modularity of Confluence. | Vincent van Oostrom |
| 2008 | A Small Framework for Proof Checking. | Hans de Nivelle, Piotr Witkowski |
| 2008 | Linear Quantifier Elimination. | Tobias Nipkow |
| 2008 | Focusing in Linear Meta-logic. | Vivek Nigam, Dale Miller |
| 2008 | Engineering DPLL(T) + Saturation. | Leonardo Mendona de Moura, Nikolaj S. Bjrner |
| 2008 | Deciding Effectively Propositional Logic Using DPLL and Substitution Sets. | Leonardo Mendona de Moura, Nikolaj S. Bjrner |
| 2008 | Individual Reuse in Description Logic Reasoning. | Boris Motik, Ian Horrocks |
| 2008 | Proving Bounds on Real-Valued Functions with Computations. | Guillaume Melquiond |
| 2008 | Towards Fully Automated Axiom Extraction for Finite-Valued Logics. | Joo Marcos, Dalmo Mendonca |
| 2008 | The Complexity of Conjunctive Query Answering in Expressive Description Logics. | Carsten Lutz |