| 2010 | Reasoning about Context in Ambient Intelligence Environments: A Report from the Field. | Grigoris Antoniou, Constantinos Papatheodorou, Antonis Bikakis |
| 2008 | A Lexicographic Inference for Partially Preordered Belief Bases. | Safa Yahi, Salem Benferhat, Sylvain Lagrue, Mariette Srayet, Odile Papini |
| 2008 | Approximate Reasoning in First-Order Logic Theories. | Johan Wittocx, Maarten Marin, Marc Denecker |
| 2008 | First-Order Strong Progression for Local-Effect Basic Action Theories. | Stavros Vassos, Gerhard Lakemeyer, Hector J. Levesque |
| 2008 | Action Theory Erasure and Minimal Change. | Ivan Jos Varzinczak |
| 2008 | Preference Modeling by Weighted Goals with Max Aggregation. | Joel Uckelman, Ulle Endriss |
| 2008 | Ontology Generation through the Fusion of Partial Reuse and Relation Extraction. | Nwe Ni Tun, Jin Song Dong |
| 2008 | Identifying Objects Over Time with Description Logics. | David Toman, Grant E. Weddell |
| 2008 | Promises Kept, Promises Broken: An Axiomatic and Quantitative Treatment of Fulfillment. | Gerardo I. Simari, Matthias Broecheler, V. S. Subrahmanian, Sarit Kraus |
| 2008 | How Many Toes Do I Have? Parthood and Number Restrictions in Description Logics. | Lutz Schrder, Dirk Pattinson |
| 2008 | Behavior Composition in the Presence of Failure. | Sebastian Sardia, Fabio Patrizi, Giuseppe De Giacomo |
| 2008 | Scenario Update Applied to Causal Reasoning. | Florence Dupin de Saint-Cyr |
| 2008 | On the Relative Expressiveness of ADL and Golog: The Last Piece in the Puzzle. | Gabriele Rger, Malte Helmert, Bernhard Nebel |
| 2008 | Planning Graphs and Propositional Clause-Learning. | Jussi Rintanen |
| 2008 | Automated Complexity Proofs for Qualitative Spatial and Temporal Calculi. | Jochen Renz, Jason Jingshi Li |
| 2008 | Dynamic Logic on Games with Structured Strategies. | Ramaswamy Ramanujam, Sunil Easaw Simon |
| 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 | Cartesian Situations and Knowledge Decomposition in the Situation Calculus. | Ronald P. A. Petrick |
| 2008 | Representing Structured Objects using Description Graphs. | Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler |
| 2008 | A First Experimental Demonstration of Massive Knowledge Infusion. | Loizos Michael, Leslie G. Valiant |
| 2008 | On Notions of Causality and Distributed Knowledge. | Ron van der Meyden |
| 2008 | Inconsistency Management Policies. | Maria Vanina Martinez, Francesco Parisi, Andrea Pugliese, Gerardo I. Simari, V. S. Subrahmanian |
| 2008 | An Abstract Argumentation Framework with Varied-Strength Attacks. | Diego C. Martnez, Alejandro Javier Garca, Guillermo Ricardo Simari |
| 2008 | Deductive Planning with Inductive Loops. | Martin Magnusson, Patrick Doherty |
| 2008 | A Logical Account of Institutions: From Acceptances to Norms via Legislators. | Emiliano Lorini, Dominique Longin |