| 2002 | A Fuzzy Approach to Flexible Case-based Querying: Methodology and Experimentation. Martine de Calmès, Didier Dubois, Eyke Hüllermeier, Henri Prade, Florence Sèdes |
| 2002 | A Generic Approach for Knowledge-Based Information-Site Selection. Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits |
| 2002 | A Logical Account of Perception Incorporating Feedback and Expectation. Murray Shanahan |
| 2002 | A Logical Approach to Factoring Belief Networks. Adnan Darwiche |
| 2002 | A Model-Based Diagnosis Framework for Distributed Embedded Systems. Gregory M. Provan |
| 2002 | A Structural Approach to Default Reasoning. Gabriele Kern-Isberner |
| 2002 | A Transition Function Based Characterization of Actions with Delayed and Continuous Effects. Chitta Baral, Tran Cao Son, Le-Chi Tuan |
| 2002 | Abducing Qualitative Spatio-Temporal Histories from Partial Observations. Shyamanta M. Hazarika, Anthony G. Cohn |
| 2002 | Actions and Other Events in Situation Calculus. John McCarthy |
| 2002 | Adapting Golog for Composition of Semantic Web Services. Sheila A. McIlraith, Tran Cao Son |
| 2002 | Adding Numbers to the SHIQ Description Logic: First Results. Carsten Lutz |
| 2002 | Approximation and Difference in Description Logics. Sebastian Brandt, Ralf Küsters, Anni-Yasmin Turhan |
| 2002 | As Time Goes by: Automatic Complexity Analysis of Simplified Rules. Thom W. Frühwirth |
| 2002 | Belief Extrapolation (or how to Reason About Observations and Unpredicted Change). Florence Dupin de Saint-Cyr, Jérôme Lang |
| 2002 | Bipolar Representation and Fusion of Preferences on the Possibilistic Logic framework. Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade |
| 2002 | Building Large Composition Tables via Axiomatic Theories. David A. Randell, Mark Witkowski |
| 2002 | CP-nets: Reasoning and Consistency Testing. Carmel Domshlak, Ronen I. Brafman |
| 2002 | Complexity Results for Explanations in the Structural-Model Approach. Thomas Eiter, Thomas Lukasiewicz |
| 2002 | Complexity Results for Paraconsistent Inference Relations. Sylvie Coste-Marquis, Pierre Marquis |
| 2002 | Connecting Abstract Description Systems. Oliver Kutz, Frank Wolter, Michael Zakharyaschev |
| 2002 | Constraint Satisfaction on Infinite Domains: Composing Domains and Decomposing Constraints. Mathias Broxvall |
| 2002 | Declarative & Procedural Goals in Intelligent Agent Systems. Michael Winikoff, Lin Padgham, James Harland, John Thangarajah |
| 2002 | Design and Comparison of Lattices of Topological Relations Based on Galois Lattice Theory. Florence Le Ber, Amedeo Napoli |
| 2002 | Distance Based Merging: A General Framework and some Complexity Results. Sébastien Konieczny, Jérôme Lang, Pierre Marquis |
| 2002 | Eliminating Incoherence from Subjective Estimates of Chance. Randy Batsell, Lyle Brenner, Daniel N. Osherson, Spyros Tsavachidis, Moshe Y. Vardi |
| 2002 | Evaluating a Modular Abox Algorithm. Sergio Tessaris, Ian Horrocks, Graham Gough |
| 2002 | Evaluation-Based Reasoning with Disjunctive Information in First-Order Knowledge Bases. Gerhard Lakemeyer |
| 2002 | Evolving Ontologies in Distributed and Dynamic Settings. Helena Sofia Andrade N. P. Pinto, João Pavão Martins |
| 2002 | From Preference Representation to Combinatorial Vote. Jérôme Lang |
| 2002 | Inference Complexity as a Model-Selection Criterion for Learning Bayesian Networks. Alina Beygelzimer, Irina Rish |
| 2002 | Judgements about spatio-temporal relations. Thomas Bittner |
| 2002 | Knowledge Equivalence in Combined Action Theories. Ronald P. A. Petrick, Hector J. Levesque |
| 2002 | Many-Sorted Preference Relations. Matteo Cristani |
| 2002 | Necessary Parts and Wholes in Bio-Ontologies. Stefan Schulz |
| 2002 | Observations and the Probabilistic Situation Calculus. Paulo Mateus, António Pacheco, Javier Pinto |
| 2002 | On the Frontier between Arbitration and Majority. Sébastien Konieczny, Ramón Pino Pérez |
| 2002 | On the Limitations of Ordinal Approaches to Decision-making. Didier Dubois, Hélène Fargier, Patrice Perny |
| 2002 | On the Logic of d-separation. Balder ten Cate |
| 2002 | On the Semantics of Deliberation in IndiGolog: From Theory to Implementation. Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, Sebastian Sardiña |
| 2002 | Panel: Are Upper-Level Ontologies Worth the Effort?. Christopher A. Welty |
| 2002 | Physical Objects, Identity and Vagueness. Brandon Bennett |
| 2002 | Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002 Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, Mary-Anne Williams |
| 2002 | Projection in Decomposed Situation Calculus. Eyal Amir |
| 2002 | Qualitative Choice Logic. Gerhard Brewka, Salem Benferhat, Daniel Le Berre |
| 2002 | Reasoning about Actions and Planning in LTL Action Theories. Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi |
| 2002 | Reducing Strong Equivalence of Logic Programs to Entailment in Classical Propositional Logic. Fangzhen Lin |
| 2002 | Resolving Inconsistencies by Variable Forgetting. Jérôme Lang, Pierre Marquis |
| 2002 | Scientific Benchmarking with Temporal Logic Decision Procedures. Ullrich Hustadt, Renate A. Schmidt |
| 2002 | Social Contraction and Belief Negotiation. Richard Booth |
| 2002 | Solving QBF by SMV. Francesco M. Donini, Paolo Liberatore, Fabio Massacci, Marco Schaerf |
| 2002 | The Complexity of Model Checking for Knowledge Update. Chitta Baral, Yan Zhang |
| 2002 | The Philosophical Soccer Player. Bernhard Nebel |
| 2002 | The Role of Higher Order Similarity in Induction and Concept Formation. Peter Gärdenfors |
| 2002 | The Semantic Web: KR's Worst Nightmare?. James A. Hendler |
| 2002 | Ultimate Approximations in Nonmonotonic Knowledge Representation Systems. Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski |
| 2002 | Updating Contexts. Antonia Donà, Luciano Serafini |