| 2008 | A Complete First-Order Logic of Knowledge and Time. Francesco Belardinelli, Alessio Lomuscio |
| 2008 | A First Experimental Demonstration of Massive Knowledge Infusion. Loizos Michael, Leslie G. Valiant |
| 2008 | A Lexicographic Inference for Partially Preordered Belief Bases. Safa Yahi, Salem Benferhat, Sylvain Lagrue, Mariette Sérayet, Odile Papini |
| 2008 | A Logic for Non-Terminating Golog Programs. Jens Claßen, Gerhard Lakemeyer |
| 2008 | A Logical Account of Institutions: From Acceptances to Norms via Legislators. Emiliano Lorini, Dominique Longin |
| 2008 | A Logical Framework to Represent and Reason about Graded Preferences and Intentions. Ana Casali, Lluís Godo, Carles Sierra |
| 2008 | A Principled Framework for Modular Web Rule Bases and Its Semantics. Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio |
| 2008 | Accuracy and Efficiency of Fixpoint Methods for Approximate Query Answering in Locally Complete Databases. Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe |
| 2008 | Action Theory Erasure and Minimal Change. Ivan José Varzinczak |
| 2008 | An Abstract Argumentation Framework with Varied-Strength Attacks. Diego C. Martínez, Alejandro Javier García, Guillermo Ricardo Simari |
| 2008 | Answer Set Programming with Functions. Fangzhen Lin, Yisong Wang |
| 2008 | Approximate Reasoning in First-Order Logic Theories. Johan Wittocx, Maarten Mariën, Marc Denecker |
| 2008 | Automated Complexity Proofs for Qualitative Spatial and Temporal Calculi. Jochen Renz, Jason Jingshi Li |
| 2008 | Behavior Composition in the Presence of Failure. Sebastian Sardiña, Fabio Patrizi, Giuseppe De Giacomo |
| 2008 | Belief Revision of Logic Programs under Answer Set Semantics. James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran |
| 2008 | Beyond Nash Equilibrium: Solution Concepts for the 21st Century. Joseph Y. Halpern |
| 2008 | Can You Tell the Difference Between DL-Lite Ontologies?. Roman Kontchakov, Frank Wolter, Michael Zakharyaschev |
| 2008 | Cartesian Situations and Knowledge Decomposition in the Situation Calculus. Ronald P. A. Petrick |
| 2008 | Complex Epistemic Modalities in the Situation Calculus. Ryan F. Kelly, Adrian R. Pearce |
| 2008 | Complexity of Abduction in the EL Family of Lightweight Description Logics. Meghyn Bienvenu |
| 2008 | Computing Default Extensions by Reductions on OR. Espen H. Lian, Arild Waaler |
| 2008 | Computing Loops with at Most One External Support Rule. Xiaoping Chen, Jianmin Ji, Fangzhen Lin |
| 2008 | ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond. Christian Fritz, Jorge A. Baier, Sheila A. McIlraith |
| 2008 | Conflict-Based Merging Operators. Patricia Everaere, Sébastien Konieczny, Pierre Marquis |
| 2008 | Conflict-Driven Disjunctive Answer Set Solving. Christian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne König, Max Ostrowski, Torsten Schaub |
| 2008 | Dealing with Incomplete Agents' Preferences and an Uncertain Agenda in Group Decision Making via Sequential Majority Voting. Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh |
| 2008 | Deductive Planning with Inductive Loops. Martin Magnusson, Patrick Doherty |
| 2008 | Default Theory of Defeasible Entailment. Alexander Bochman |
| 2008 | Defaults and Normality in Causal Structures. Joseph Y. Halpern |
| 2008 | Dynamic Logic on Games with Structured Strategies. Ramaswamy Ramanujam, Sunil Easaw Simon |
| 2008 | Embedding Approaches to Combining Rules and Ontologies into Autoepistemic Logic. Jos de Bruijn, Thomas Eiter, Hans Tompits |
| 2008 | Equilibria in Social Belief Removal. Richard Booth, Thomas Andreas Meyer |
| 2008 | First-Order Strong Progression for Local-Effect Basic Action Theories. Stavros Vassos, Gerhard Lakemeyer, Hector J. Levesque |
| 2008 | Formalising Temporal Constraints on Part-Whole Relations. Alessandro Artale, Nicola Guarino, C. Maria Keet |
| 2008 | Horn Clause Belief Change: Contraction Functions. James P. Delgrande |
| 2008 | How Many Toes Do I Have? Parthood and Number Restrictions in Description Logics. Lutz Schröder, Dirk Pattinson |
| 2008 | How to Choose Weightings to Avoid Collisions in a Restricted Penalty Logic. Nathalie Chetcuti-Sperandio, Sylvain Lagrue |
| 2008 | Identifying Objects Over Time with Description Logics. David Toman, Grant E. Weddell |
| 2008 | Improvement Operators. Sébastien Konieczny, Ramón Pino Pérez |
| 2008 | Inconsistency Management Policies. Maria Vanina Martinez, Francesco Parisi, Andrea Pugliese, Gerardo I. Simari, V. S. Subrahmanian |
| 2008 | Injecting the How into the What: Investigating a Finite Classical Logic. Timothy L. Hinrichs, Michael R. Genesereth |
| 2008 | LTL over Description Logic Axioms. Franz Baader, Silvio Ghilardi, Carsten Lutz |
| 2008 | Linking Iterated Belief Change Operations to Nonmonotonic Reasoning. Gabriele Kern-Isberner |
| 2008 | Making Decisions through Preference-Based Argumentation. Leila Amgoud, Yannis Dimopoulos, Pavlos Moraitis |
| 2008 | Measuring Inconsistency through Minimal Inconsistent Sets. Anthony Hunter, Sébastien Konieczny |
| 2008 | Model-Theoretic Characterization of Asher and Vieu's Ontology of Mereotopology. Torsten Hahmann, Michael Gruninger |
| 2008 | Notions of Strong Equivalence for Logic Programs with Ordered Disjunction. Wolfgang Faber, Hans Tompits, Stefan Woltran |
| 2008 | On Loop Formulas with Variables. Joohyung Lee, Yunsong Meng |
| 2008 | On Notions of Causality and Distributed Knowledge. Ron van der Meyden |
| 2008 | On the Complexity of Planning Operator Subsumption. Patrick Eyerich, Michael Brenner, Bernhard Nebel |
| 2008 | On the Relative Expressiveness of ADL and Golog: The Last Piece in the Puzzle. Gabriele Röger, Malte Helmert, Bernhard Nebel |
| 2008 | Ontology Generation through the Fusion of Partial Reuse and Relation Extraction. Nwe Ni Tun, Jin Song Dong |
| 2008 | Path-Based Identification Constraints in Description Logics. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
| 2008 | Peer-to-Peer Query Answering with Inconsistent Knowledge. Arnold Binas, Sheila A. McIlraith |
| 2008 | Planning Graphs and Propositional Clause-Learning. Jussi Rintanen |
| 2008 | Preference Modeling by Weighted Goals with Max Aggregation. Joel Uckelman, Ulle Endriss |
| 2008 | Preferences, Planning and Control. Ronen I. Brafman |
| 2008 | Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008 Gerhard Brewka, Jérôme Lang |
| 2008 | Promises Kept, Promises Broken: An Axiomatic and Quantitative Treatment of Fulfillment. Gerardo I. Simari, Matthias Broecheler, V. S. Subrahmanian, Sarit Kraus |
| 2008 | Proving Goal Achievability. Fangzhen Lin |
| 2008 | RIQ and SROIQ Are Harder than SHOIQ. Yevgeny Kazakov |
| 2008 | Reasoning about Agent Deliberation. Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer |
| 2008 | Reasoning with Qualitative Preferences and Cardinalities using Generalized Circumscription. Patrick Doherty, Andrzej Szalas |
| 2008 | Relational Preference Rules for Control. Ronen I. Brafman |
| 2008 | Representing Structured Objects using Description Graphs. Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler |
| 2008 | Revision of an Argumentation System. Claudette Cayrol, Florence Dupin de Saint-Cyr, Marie-Christine Lagasquie-Schiex |
| 2008 | Scenario Update Applied to Causal Reasoning. Florence Dupin de Saint-Cyr |
| 2008 | Semantic Preferential Subsumption. Katarina Britz, Johannes Heidema, Thomas Andreas Meyer |
| 2008 | Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. Andrea Calì, Georg Gottlob, Michael Kifer |
| 2008 | Time Representation and Temporal Reasoning from the Perspective of Non-Standard Analysis. Philippe Balbiani |
| 2008 | Unions of Conjunctive Queries in SHOQ. Birte Glimm, Ian Horrocks, Ulrike Sattler |
| 2008 | View-Based Query Answering over Description Logic Ontologies. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati |