| 2008 | Answer Set Programming with Functions. | Fangzhen Lin, Yisong Wang |
| 2008 | Proving Goal Achievability. | Fangzhen Lin |
| 2008 | Computing Default Extensions by Reductions on OR. | Espen H. Lian, Arild Waaler |
| 2008 | On Loop Formulas with Variables. | Joohyung Lee, Yunsong Meng |
| 2008 | Can You Tell the Difference Between DL-Lite Ontologies?. | Roman Kontchakov, Frank Wolter, Michael Zakharyaschev |
| 2008 | Improvement Operators. | Sbastien Konieczny, Ramn Pino Prez |
| 2008 | Linking Iterated Belief Change Operations to Nonmonotonic Reasoning. | Gabriele Kern-Isberner |
| 2008 | Complex Epistemic Modalities in the Situation Calculus. | Ryan F. Kelly, Adrian R. Pearce |
| 2008 | RIQ and SROIQ Are Harder than SHOIQ. | Yevgeny Kazakov |
| 2008 | Measuring Inconsistency through Minimal Inconsistent Sets. | Anthony Hunter, Sbastien Konieczny |
| 2008 | Injecting the How into the What: Investigating a Finite Classical Logic. | Timothy L. Hinrichs, Michael R. Genesereth |
| 2008 | Defaults and Normality in Causal Structures. | Joseph Y. Halpern |
| 2008 | Beyond Nash Equilibrium: Solution Concepts for the 21st Century. | Joseph Y. Halpern |
| 2008 | Model-Theoretic Characterization of Asher and Vieu's Ontology of Mereotopology. | Torsten Hahmann, Michael Gruninger |
| 2008 | Unions of Conjunctive Queries in SHOQ. | Birte Glimm, Ian Horrocks, Ulrike Sattler |
| 2008 | ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond. | Christian Fritz, Jorge A. Baier, Sheila A. McIlraith |
| 2008 | Notions of Strong Equivalence for Logic Programs with Ordered Disjunction. | Wolfgang Faber, Hans Tompits, Stefan Woltran |
| 2008 | On the Complexity of Planning Operator Subsumption. | Patrick Eyerich, Michael Brenner, Bernhard Nebel |
| 2008 | Conflict-Based Merging Operators. | Patricia Everaere, Sbastien Konieczny, Pierre Marquis |
| 2008 | Conflict-Driven Disjunctive Answer Set Solving. | Christian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne Knig, Max Ostrowski, Torsten Schaub |
| 2008 | Reasoning with Qualitative Preferences and Cardinalities using Generalized Circumscription. | Patrick Doherty, Andrzej Szalas |
| 2008 | Belief Revision of Logic Programs under Answer Set Semantics. | James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran |
| 2008 | Horn Clause Belief Change: Contraction Functions. | James P. Delgrande |
| 2008 | Accuracy and Efficiency of Fixpoint Methods for Approximate Query Answering in Locally Complete Databases. | Alvaro Corts-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe |
| 2008 | A Logic for Non-Terminating Golog Programs. | Jens Claen, Gerhard Lakemeyer |