| 2000 | A Compositional Structured Query Approach to Automated Inference. Yousri El Fattah, Mark A. Peot |
| 2000 | A Logic Based Language for Parametric Inheritance. Hasan M. Jamil |
| 2000 | A Logic Programming Approach to Conflict Resolution in Policy Management. Jan Chomicki, Jorge Lobo, Shamim A. Naqvi |
| 2000 | A Model for Reasoning about Topologic Relations between cyclic intervals. Philippe Balbiani, Aomar Osmani |
| 2000 | An Algorithm for Belief Revision. Renata Wassermann |
| 2000 | An Alternative Combination of Bayesian Networks and Description Logics. Philipp M. Yelland |
| 2000 | An Environment for Merging and Testing Large Ontologies. Deborah L. McGuinness, Richard Fikes, James Rice, Steve Wilder |
| 2000 | Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation. Alan Verberne, Frank van Harmelen, Annette ten Teije |
| 2000 | Approximate Objects and Approximate Theories. John McCarthy |
| 2000 | BReLS: A System for the Integration of Knowledge Bases. Paolo Liberatore, Marco Schaerf |
| 2000 | Complexity Results for Default Reasoning from Conditional Knowledge Bases. Thomas Eiter, Thomas Lukasiewicz |
| 2000 | Containment of Conjunctive Regular Path Queries with Inverse. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi |
| 2000 | Continuous Motion in Discrete Space. Antony Galton |
| 2000 | Controllability characterization and checking in Contingent Temporal Constraint Networks. Thierry Vidal |
| 2000 | Cyclical and Granular Time Theories as Subsets of the Herbrand Universe. Edjard Mota |
| 2000 | Deciding K using inverse-K. Andrei Voronkov |
| 2000 | Desires and Defaults: A Framework for Planning with Inferred Goals. Richmond H. Thomason |
| 2000 | Experimental Results on Learning Soft Constraints. Alessandro Biso, Francesca Rossi, Alessandro Sperduti |
| 2000 | Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles. Volker Haarslev, Ralf Möller |
| 2000 | Finding Admissible and Preferred Arguments Can be Very Hard. Yannis Dimopoulos, Bernhard Nebel, Francesca Toni |
| 2000 | Formulating diagnostic problem solving using an action language with narratives and sensing. Chitta Baral, Sheila A. McIlraith, Tran Cao Son |
| 2000 | Generation of Diagnostic Knowledge by Discrete-Event Model Compilation. Gianfranco Lamperti, Marina Zanella |
| 2000 | In search of the right extension. Jérôme Lang, Pierre Marquis |
| 2000 | Independence in qualitative uncertainty frameworks. Nahla Ben Amor, Salem Benferhat, Didier Dubois, Hector Geffner, Henri Prade |
| 2000 | Iterated Belief Change in the Situation Calculus. Steven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque |
| 2000 | KR 2000, Principles of Knowledge Representation and Reasoning Proceedings of the Seventh International Conference, Breckenridge, Colorado, USA, April 11-15, 2000. Anthony G. Cohn, Fausto Giunchiglia, Bart Selman |
| 2000 | Knowledge Engineering by Large-Scale Knowledge Reuse - Experience from the Medical Domain. Stefan Schulz, Udo Hahn |
| 2000 | Knowledge Patterns. Peter Clark, John A. Thompson, Bruce W. Porter |
| 2000 | Learning Generalized Policies in Planning Using Concept Languages. Mario Martín, Hector Geffner |
| 2000 | Logical representation of preferences for group decision making. Celine Lafage, Jérôme Lang |
| 2000 | Long-Term Maintanability of Deployed Knowledge Representation Systems. Nestor Rychtyckyj, Robert G. Reynolds |
| 2000 | Matching Concept Descriptions with Existential Restrictions. Franz Baader, Ralf Küsters |
| 2000 | Missionaries and Cannibals in the Causal Calculator. Vladimir Lifschitz |
| 2000 | Narratives as Programs. Raymond Reiter |
| 2000 | On Strongest Necessary and Weakest Sufficient Conditions. Fangzhen Lin |
| 2000 | On the Difference between Merging Knowledge Bases and Combining them. Sébastien Konieczny |
| 2000 | On the complexity of reasoning about repeating events. Robert A. Morris, Paul H. Morris |
| 2000 | OntoMorph: A Translation System for Symbolic Knowledge. Hans Chalupsky |
| 2000 | Ontology-Based Semantics. Mihai Ciocoiu, Dana S. Nau |
| 2000 | Ordering explanations and the structural rules for abduction. Ramón Pino Pérez, Carlos Uzcátegui |
| 2000 | Partition-Based Logical Reasoning. Eyal Amir, Sheila A. McIlraith |
| 2000 | Planning as Satisfiability with Expressive Action Languages: Concurrency, Constraints and Nondeterminism. Enrico Giunchiglia |
| 2000 | Planning with sensing, concurrency, and exogenous events: logical framework and implementation. Luca Iocchi, Daniele Nardi, Riccardo Rosati |
| 2000 | Practical Knowledge Representation and the DARPA High Performance Knowledge Bases Project. Adam Pease, Vinay K. Chaudhri, Fritz Lehmann, Adam Farquhar |
| 2000 | Propositional Logic and One-Stage Decision Making. Hélène Fargier, Jérôme Lang, Pierre Marquis |
| 2000 | Reasoning with Axioms: Theory and Practice. Ian Horrocks, Stephan Tobies |
| 2000 | Reduction rules and universal variables for first order tableaux and DPLL. Fabio Massacci |
| 2000 | Relational Representations that Facilitate Learning. Chad M. Cumby, Dan Roth |
| 2000 | Representing and Aggregating Conflicting Beliefs. Pedrito Maynard-Reid II, Daniel Lehmann |
| 2000 | Representing the Knowledge of a Robot. Michael Thielscher |
| 2000 | Revision: an application in the framework of GIS. Éric Würbel, Robert Jeansoulin, Odile Papini |
| 2000 | Rewriting Concepts Using Terminologies. Franz Baader, Ralf Küsters, Ralf Molitor |
| 2000 | Satisfiability Algorithms and Finite Quantification. Matthew L. Ginsberg, Andrew J. Parkes |
| 2000 | Significant Inferences : Preliminary Report. Philippe Besnard, Torsten Schaub |
| 2000 | Spatial Locations via Morpho-Mereology. Matteo Cristani, Anthony G. Cohn, Brandon Bennett |
| 2000 | Spatial representation of spatial relationship knowledge. Isabelle Bloch |
| 2000 | Spatio-temporal representation and reasoning based on RCC-8. Frank Wolter, Michael Zakharyaschev |
| 2000 | Supporting automated deduction in first-order modal logics. Angelo Montanari, Alberto Policriti, Matteo Slanina |
| 2000 | Teaching Knowledge Representation: Challenges and Proposals. Leora Morgenstern, Richmond H. Thomason |
| 2000 | The Augmented Interval and Rectangle Networks. Jean-François Condotta |
| 2000 | The Representation of Discrete Multi-resolution Spatial Knowledge. John G. Stell |
| 2000 | Two Problems with Reasoning and Acting in Time. Haythem O. Ismail, Stuart C. Shapiro |
| 2000 | Unfolding Partiality and Disjunctions in Stable Model Semantics. Tomi Janhunen, Ilkka Niemelä, Patrik Simons, Jia-Huai You |
| 2000 | Uniform semantic treatment of default and autoepistemic logic. Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski |
| 2000 | Valuation-ranked preferential model. Zhaohui Zhu, Ben Li, Shifu Chen, Wujia Zhu |