| 2002 | Scientific Benchmarking with Temporal Logic Decision Procedures. | Ullrich Hustadt, Renate A. Schmidt |
| 2002 | The Semantic Web: KR's Worst Nightmare?. | James A. Hendler |
| 2002 | Abducing Qualitative Spatio-Temporal Histories from Partial Observations. | Shyamanta M. Hazarika, Anthony G. Cohn |
| 2002 | On the Semantics of Deliberation in IndiGolog: From Theory to Implementation. | Giuseppe De Giacomo, Yves Lesprance, Hector J. Levesque, Sebastian Sardia |
| 2002 | The Role of Higher Order Similarity in Induction and Concept Formation. | Peter Grdenfors |
| 2002 | As Time Goes by: Automatic Complexity Analysis of Simplified Rules. | Thom W. Frhwirth |
| 2002 | Complexity Results for Explanations in the Structural-Model Approach. | Thomas Eiter, Thomas Lukasiewicz |
| 2002 | A Generic Approach for Knowledge-Based Information-Site Selection. | Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits |
| 2002 | On the Limitations of Ordinal Approaches to Decision-making. | Didier Dubois, Hlne Fargier, Patrice Perny |
| 2002 | Solving QBF by SMV. | Francesco M. Donini, Paolo Liberatore, Fabio Massacci, Marco Schaerf |
| 2002 | Updating Contexts. | Antonia Don, Luciano Serafini |
| 2002 | CP-nets: Reasoning and Consistency Testing. | Carmel Domshlak, Ronen I. Brafman |
| 2002 | Ultimate Approximations in Nonmonotonic Knowledge Representation Systems. | Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski |
| 2002 | A Logical Approach to Factoring Belief Networks. | Adnan Darwiche |
| 2002 | Many-Sorted Preference Relations. | Matteo Cristani |
| 2002 | Complexity Results for Paraconsistent Inference Relations. | Sylvie Coste-Marquis, Pierre Marquis |
| 2002 | On the Logic of d-separation. | Balder ten Cate |
| 2002 | Reasoning about Actions and Planning in LTL Action Theories. | Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi |
| 2002 | A Fuzzy Approach to Flexible Case-based Querying: Methodology and Experimentation. | Martine de Calms, Didier Dubois, Eyke Hllermeier, Henri Prade, Florence Sdes |
| 2002 | Constraint Satisfaction on Infinite Domains: Composing Domains and Decomposing Constraints. | Mathias Broxvall |
| 2002 | Qualitative Choice Logic. | Gerhard Brewka, Salem Benferhat, Daniel Le Berre |
| 2002 | Approximation and Difference in Description Logics. | Sebastian Brandt, Ralf Ksters, Anni-Yasmin Turhan |
| 2002 | Social Contraction and Belief Negotiation. | Richard Booth |
| 2002 | Judgements about spatio-temporal relations. | Thomas Bittner |
| 2002 | Inference Complexity as a Model-Selection Criterion for Learning Bayesian Networks. | Alina Beygelzimer, Irina Rish |