| 2008 | A Fluent Calculus Semantics for ADL with Plan Constraints. Conrad Drescher, Michael Thielscher |
| 2008 | A Game-Theoretic Measure of Argument Strength for Abstract Argumentation. Paul-Amaury Matt, Francesca Toni |
| 2008 | A Logic for Closed-World Interaction. Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini |
| 2008 | A Proof-Theoretic Approach to Deciding Subsumption and Computing Least Common Subsumer in w.r.t. Hybrid TBoxes. Novak Novakovic |
| 2008 | A Tableau for RoBCTL*. John Christopher McCabe-Dansted |
| 2008 | Accommodative Belief Revision. Satu Eloranta, Raul Hakli, Olli Niinivaara, Matti Nykänen |
| 2008 | Cheap Boolean Role Constructors for Description Logics. Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler |
| 2008 | Combining Modes of Reasoning: An Application of Abstract Argumentation. Henry Prakken |
| 2008 | Complexity and Succinctness Issues for Linear-Time Hybrid Logics. Laura Bozzelli, Ruggero Lanotte |
| 2008 | Computational Complexity of Semi-stable Semantics in Abstract Argumentation Frameworks. Paul E. Dunne, Martin Caminada |
| 2008 | Confluence Operators. Sébastien Konieczny, Ramón Pino Pérez |
| 2008 | Consistency Preservation and Crazy Formulas in BMS. Guillaume Aucher |
| 2008 | Counting Complexity of Minimal Cardinality and Minimal Weight Abduction. Miki Hermann, Reinhard Pichler |
| 2008 | Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints. Luciano Caroprese, Miroslaw Truszczynski |
| 2008 | Extending Carinto the Description Logics of the Family. Magdalena Ortiz |
| 2008 | Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness. Ekaterina Komendantskaya, John Power |
| 2008 | GOAL Agents Instantiate Intention Logic. Koen V. Hindriks, Wiebe van der Hoek |
| 2008 | How to Restore Compactness into Probabilistic Logics?. Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic |
| 2008 | Improved Second-Order Quantifier Elimination in Modal Logic. Renate A. Schmidt |
| 2008 | Justification Logic. Sergei N. Artëmov |
| 2008 | Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials. Norihiro Kamide |
| 2008 | Literal Projection for First-Order Logic. Christoph Wernhard |
| 2008 | Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings Steffen Hölldobler, Carsten Lutz, Heinrich Wansing |
| 2008 | Meta Level Reasoning and Default Reasoning. Yi Zhou, Yan Zhang |
| 2008 | Normal Form Nested Programs. Annamaria Bria, Wolfgang Faber, Nicola Leone |
| 2008 | On the Credal Structure of Consistent Probabilities. Fabio Cuzzolin |
| 2008 | Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders. Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco |
| 2008 | Propositional Clausal Defeasible Logic. David Billington |
| 2008 | Query Answering in the Description Logic Horn-. Thomas Eiter, Georg Gottlob, Magdalena Ortiz, Mantas Simkus |
| 2008 | Reasoning about Typicality in Preferential Description Logics. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 2008 | Recovering Consistency by Forgetting Inconsistency. Sylvie Coste-Marquis, Pierre Marquis |
| 2008 | Rule Calculus: Semantics, Axioms and Applications. Yi Zhou, Yan Zhang |
| 2008 | Strongly Equivalent Temporal Logic Programs. Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal |
| 2008 | Uniform Interpolation by Resolution in Modal Logic. Andreas Herzig, Jérôme Mengin |
| 2008 | Voting in Combinatorial Domains: What Logic and AI Have to Say. Jérôme Lang |