| 2002 | Bipolar Representation and Fusion of Preferences on the Possibilistic Logic framework. | Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade |
| 2002 | Design and Comparison of Lattices of Topological Relations Based on Galois Lattice Theory. | Florence Le Ber, Amedeo Napoli |
| 2002 | Physical Objects, Identity and Vagueness. | Brandon Bennett |
| 2002 | Eliminating Incoherence from Subjective Estimates of Chance. | Randy Batsell, Lyle Brenner, Daniel N. Osherson, Spyros Tsavachidis, Moshe Y. Vardi |
| 2002 | The Complexity of Model Checking for Knowledge Update. | Chitta Baral, Yan Zhang |
| 2002 | A Transition Function Based Characterization of Actions with Delayed and Continuous Effects. | Chitta Baral, Tran Cao Son, Le-Chi Tuan |
| 2002 | Projection in Decomposed Situation Calculus. | Eyal Amir |
| 2000 | Valuation-ranked preferential model. | Zhaohui Zhu, Ben Li, Shifu Chen, Wujia Zhu |
| 2000 | An Alternative Combination of Bayesian Networks and Description Logics. | Philipp M. Yelland |
| 2000 | Revision: an application in the framework of GIS. | ric Wrbel, Robert Jeansoulin, Odile Papini |
| 2000 | Spatio-temporal representation and reasoning based on RCC-8. | Frank Wolter, Michael Zakharyaschev |
| 2000 | An Algorithm for Belief Revision. | Renata Wassermann |
| 2000 | Deciding K using inverse-K. | Andrei Voronkov |
| 2000 | Controllability characterization and checking in Contingent Temporal Constraint Networks. | Thierry Vidal |
| 2000 | Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation. | Alan Verberne, Frank van Harmelen, Annette ten Teije |
| 2000 | Desires and Defaults: A Framework for Planning with Inferred Goals. | Richmond H. Thomason |
| 2000 | Representing the Knowledge of a Robot. | Michael Thielscher |
| 2000 | The Representation of Discrete Multi-resolution Spatial Knowledge. | John G. Stell |
| 2000 | Iterated Belief Change in the Situation Calculus. | Steven Shapiro, Maurice Pagnucco, Yves Lesprance, Hector J. Levesque |
| 2000 | Knowledge Engineering by Large-Scale Knowledge Reuse - Experience from the Medical Domain. | Stefan Schulz, Udo Hahn |
| 2000 | Long-Term Maintanability of Deployed Knowledge Representation Systems. | Nestor Rychtyckyj, Robert G. Reynolds |
| 2000 | Narratives as Programs. | Raymond Reiter |
| 2000 | Ordering explanations and the structural rules for abduction. | Ramn Pino Prez, Carlos Uzctegui |
| 2000 | Practical Knowledge Representation and the DARPA High Performance Knowledge Bases Project. | Adam Pease, Vinay K. Chaudhri, Fritz Lehmann, Adam Farquhar |
| 2000 | Cyclical and Granular Time Theories as Subsets of the Herbrand Universe. | Edjard Mota |