| 2004 | Reaching Agreement Through Argumentation: A Possibilistic Approach. | Leila Amgoud, Henri Prade |
| 2004 | On the Use of an ATMS for Handling Conflicting Desires. | Leila Amgoud, Claudette Cayrol |
| 2002 | Declarative & Procedural Goals in Intelligent Agent Systems. | Michael Winikoff, Lin Padgham, James Harland, John Thangarajah |
| 2002 | Panel: Are Upper-Level Ontologies Worth the Effort?. | Christopher A. Welty |
| 2002 | Evaluating a Modular Abox Algorithm. | Sergio Tessaris, Ian Horrocks, Graham Gough |
| 2002 | A Logical Account of Perception Incorporating Feedback and Expectation. | Murray Shanahan |
| 2002 | Necessary Parts and Wholes in Bio-Ontologies. | Stefan Schulz |
| 2002 | Belief Extrapolation (or how to Reason About Observations and Unpredicted Change). | Florence Dupin de Saint-Cyr, Jrme Lang |
| 2002 | Building Large Composition Tables via Axiomatic Theories. | David A. Randell, Mark Witkowski |
| 2002 | A Model-Based Diagnosis Framework for Distributed Embedded Systems. | Gregory M. Provan |
| 2002 | Evolving Ontologies in Distributed and Dynamic Settings. | Helena Sofia Andrade N. P. Pinto, Joo Pavo Martins |
| 2002 | Knowledge Equivalence in Combined Action Theories. | Ronald P. A. Petrick, Hector J. Levesque |
| 2002 | The Philosophical Soccer Player. | Bernhard Nebel |
| 2002 | Adapting Golog for Composition of Semantic Web Services. | Sheila A. McIlraith, Tran Cao Son |
| 2002 | Actions and Other Events in Situation Calculus. | John McCarthy |
| 2002 | Observations and the Probabilistic Situation Calculus. | Paulo Mateus, Antnio Pacheco, Javier Pinto |
| 2002 | Adding Numbers to the SHIQ Description Logic: First Results. | Carsten Lutz |
| 2002 | Reducing Strong Equivalence of Logic Programs to Entailment in Classical Propositional Logic. | Fangzhen Lin |
| 2002 | Resolving Inconsistencies by Variable Forgetting. | Jrme Lang, Pierre Marquis |
| 2002 | From Preference Representation to Combinatorial Vote. | Jrme Lang |
| 2002 | Evaluation-Based Reasoning with Disjunctive Information in First-Order Knowledge Bases. | Gerhard Lakemeyer |
| 2002 | Connecting Abstract Description Systems. | Oliver Kutz, Frank Wolter, Michael Zakharyaschev |
| 2002 | On the Frontier between Arbitration and Majority. | Sbastien Konieczny, Ramn Pino Prez |
| 2002 | Distance Based Merging: A General Framework and some Complexity Results. | Sbastien Konieczny, Jrme Lang, Pierre Marquis |
| 2002 | A Structural Approach to Default Reasoning. | Gabriele Kern-Isberner |