| 2000 | Propositional Logic and One-Stage Decision Making. | Hlne Fargier, Jrme Lang, Pierre Marquis |
| 2000 | Complexity Results for Default Reasoning from Conditional Knowledge Bases. | Thomas Eiter, Thomas Lukasiewicz |
| 2000 | Finding Admissible and Preferred Arguments Can be Very Hard. | Yannis Dimopoulos, Bernhard Nebel, Francesca Toni |
| 2000 | Uniform semantic treatment of default and autoepistemic logic. | Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski |
| 2000 | Relational Representations that Facilitate Learning. | Chad M. Cumby, Dan Roth |
| 2000 | Spatial Locations via Morpho-Mereology. | Matteo Cristani, Anthony G. Cohn, Brandon Bennett |
| 2000 | The Augmented Interval and Rectangle Networks. | Jean-Franois Condotta |
| 2000 | Knowledge Patterns. | Peter Clark, John A. Thompson, Bruce W. Porter |
| 2000 | Ontology-Based Semantics. | Mihai Ciocoiu, Dana S. Nau |
| 2000 | A Logic Programming Approach to Conflict Resolution in Policy Management. | Jan Chomicki, Jorge Lobo, Shamim A. Naqvi |
| 2000 | OntoMorph: A Translation System for Symbolic Knowledge. | Hans Chalupsky |
| 2000 | Containment of Conjunctive Regular Path Queries with Inverse. | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi |
| 2000 | Spatial representation of spatial relationship knowledge. | Isabelle Bloch |
| 2000 | Experimental Results on Learning Soft Constraints. | Alessandro Biso, Francesca Rossi, Alessandro Sperduti |
| 2000 | Significant Inferences : Preliminary Report. | Philippe Besnard, Torsten Schaub |
| 2000 | Formulating diagnostic problem solving using an action language with narratives and sensing. | Chitta Baral, Sheila A. McIlraith, Tran Cao Son |
| 2000 | A Model for Reasoning about Topologic Relations between cyclic intervals. | Philippe Balbiani, Aomar Osmani |
| 2000 | Rewriting Concepts Using Terminologies. | Franz Baader, Ralf Ksters, Ralf Molitor |
| 2000 | Matching Concept Descriptions with Existential Restrictions. | Franz Baader, Ralf Ksters |
| 2000 | Independence in qualitative uncertainty frameworks. | Nahla Ben Amor, Salem Benferhat, Didier Dubois, Hector Geffner, Henri Prade |
| 2000 | Partition-Based Logical Reasoning. | Eyal Amir, Sheila A. McIlraith |
| 1998 | On the Decidability of Description Logics with Modal Operators. | Frank Wolter, Michael Zakharyaschev |
| 1998 | A Strategy for Revising Default Theory Extensions. | Mary-Anne Williams, Grigoris Antoniou |
| 1998 | Building Models of Prediction Theories. | Graham White, John Bell, Wilfried Hodges |
| 1998 | SYSTEM JZ - How to Build a Canonical Ranking Model of a Default Knowledge Base. | Emil Weydert |