7. KR 2000: Breckenridge, Colorado, USA

• 
  Anthony G. Cohn, Fausto Giunchiglia, Bart Selman:
  KR 2000, Principles of Knowledge Representation and Reasoning Proceedings of the Seventh International Conference, Breckenridge, Colorado, USA, April 11-15, 2000. Morgan Kaufmann 2000

Spatial Reasoning

• 
  Frank Wolter, Michael Zakharyaschev:
  Spatio-temporal representation and reasoning based on RCC-8. KR 2000: 3-14
• 
  Matteo Cristani, Anthony G. Cohn, Brandon Bennett:
  Spatial Locations via Morpho-Mereology. KR 2000: 15-25
• 
  Antony Galton:
  Continuous Motion in Discrete Space. KR 2000: 26-37
• 
  John G. Stell:
  The Representation of Discrete Multi-resolution Spatial Knowledge. KR 2000: 38-49

Non Monotonic Reasoning 1

• 
  Yannis Dimopoulos, Bernhard Nebel, Francesca Toni:
  Finding Admissible and Preferred Arguments Can be Very Hard. KR 2000: 53-61
• 
  Thomas Eiter, Thomas Lukasiewicz:
  Complexity Results for Default Reasoning from Conditional Knowledge Bases. KR 2000: 62-73
• 
  Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski:
  Uniform semantic treatment of default and autoepistemic logic. KR 2000: 74-84
• 
  Vladimir Lifschitz:
  Missionaries and Cannibals in the Causal Calculator. KR 2000: 85-96

Representation of Action

• 
  Raymond Reiter:
  Narratives as Programs. KR 2000: 99-108
• 
  Michael Thielscher:
  Representing the Knowledge of a Robot. KR 2000: 109-120
• 
  Jan Chomicki, Jorge Lobo, Shamim A. Naqvi:
  A Logic Programming Approach to Conflict Resolution in Policy Management. KR 2000: 121-132

Integration of Knowledge Sources

• 
  Sébastien Konieczny:
  On the Difference between Merging Knowledge Bases and Combining them. KR 2000: 135-144
• 
  Paolo Liberatore, Marco Schaerf:
  BReLS: A System for the Integration of Knowledge Bases. KR 2000: 145-152
• 
  Pedrito Maynard-Reid II, Daniel J. Lehmann:
  Representing and Aggregating Conflicting Beliefs. KR 2000: 153-164

Automated Reasoning 1

• 
  Fangzhen Lin:
  On Strongest Necessary and Weakest Sufficient Conditions. KR 2000: 167-175
• 
  Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
  Containment of Conjunctive Regular Path Queries with Inverse. KR 2000: 176-185
• 
  Fabio Massacci:
  Reduction rules and universal variables for first order tableaux and DPLL. KR 2000: 186-197
• 
  Andrei Voronkov:
  Deciding K using inverse-K. KR 2000: 198-209

Uncertainty

• 
  Yousri El Fattah, Mark A. Peot:
  A Compositional Structured Query Approach to Automated Inference. KR 2000: 213-224
• 
  Philipp M. Yelland:
  An Alternative Combination of Bayesian Networks and Description Logics. KR 2000: 225-234
• 
  Nahla Ben Amor, Salem Benferhat, Didier Dubois, Hector Geffner, Henri Prade:
  Independence in qualitative uncertainty frameworks. KR 2000: 235-246
• 
  Isabelle Bloch:
  Spatial representation of spatial relationship knowledge. KR 2000: 247-258

Description Logics

• 
  Franz Baader, Ralf Küsters:
  Matching Concept Descriptions with Existential Restrictions. KR 2000: 261-272
• 
  Volker Haarslev, Ralf Möller:
  Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles. KR 2000: 273-284
• 
  Ian Horrocks, Stephan Tobies:
  Reasoning with Axioms: Theory and Practice. KR 2000: 285-296
• 
  Franz Baader, Ralf Küsters, Ralf Molitor:
  Rewriting Concepts Using Terminologies. KR 2000: 297-308

Diagnosis

• 
  Chitta Baral, Sheila A. McIlraith, Tran Cao Son:
  Formulating diagnostic problem solving using an action language with narratives and sensing. KR 2000: 311-322
• 
  Alan Verberne, Frank van Harmelen, Annette ten Teije:
  Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation. KR 2000: 323-332
• 
  Gianfranco Lamperti, Marina Zanella:
  Generation of Diagnostic Knowledge by Discrete-Event Model Compilation. KR 2000: 333-344
• 
  Renata Wassermann:
  An Algorithm for Belief Revision. KR 2000: 345-352

Temporal Reasoning 1

• 
  Haythem O. Ismail, Stuart C. Shapiro:
  Two Problems with Reasoning and Acting in Time. KR 2000: 355-365
• 
  Edjard Mota:
  Cyclical and Granular Time Theories as Subsets of the Herbrand Universe. KR 2000: 366-377
• 
  Philippe Balbiani, Aomar Osmani:
  A Model for Reasoning about Topologic Relations between cyclic intervals. KR 2000: 378-385

Automated Reasoning 2

• 
  Eyal Amir, Sheila A. McIlraith:
  Partition-Based Logical Reasoning. KR 2000: 389-400
• 
  Philippe Besnard, Torsten Schaub:
  Significant Inferences : Preliminary Report. KR 2000: 401-410
• 
  Tomi Janhunen, Ilkka Niemelä, Patrik Simons, Jia-Huai You:
  Unfolding Partiality and Disjunctions in Stable Model Semantics. KR 2000: 411-422

Learning and Decision Making

• 
  Chad M. Cumby, Dan Roth:
  Relational Representations that Facilitate Learning. KR 2000: 425-434
• 
  Alessandro Biso, Francesca Rossi, Alessandro Sperduti:
  Experimental Results on Learning Soft Constraints. KR 2000: 435-444
• 
  Hélène Fargier, Jérôme Lang, Pierre Marquis:
  Propositional Logic and One-Stage Decision Making. KR 2000: 445-456
• 
  Celine Lafage, Jérôme Lang:
  Logical representation of preferences for group decision making. KR 2000: 457-468

Applications and Systems

• 
  Hans Chalupsky:
  OntoMorph: A Translation System for Symbolic Knowledge. KR 2000: 471-482
• 
  Deborah L. McGuinness, Richard Fikes, James Rice, Steve Wilder:
  An Environment for Merging and Testing Large Ontologies. KR 2000: 483-493
• 
  Nestor Rychtyckyj, Robert G. Reynolds:
  Long-Term Maintanability of Deployed Knowledge Representation Systems. KR 2000: 494-504
• 
  Eric Würbel, Robert Jeansoulin, Odile Papini:
  Revision: an application in the framework of GIS. KR 2000: 505-515

Representation Formalisms

• 
  John McCarthy:
  Approximate Objects and Approximate Theories. KR 2000: 519-526
• 
  Steven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque:
  Iterated Belief Change in the Situation Calculus. KR 2000: 527-538
• 
  Mihai Ciocoiu, Dana S. Nau:
  Ontology-Based Semantics. KR 2000: 539-546
• 
  Angelo Montanari, Alberto Policriti, Matteo Slanina:
  Supporting automated deduction in first-order modal logics. KR 2000: 547-556

Temporal Reasoning 2

• 
  Thierry Vidal:
  Controllability characterization and checking in Contingent Temporal Constraint Networks. KR 2000: 559-570
• 
  Jean-François Condotta:
  The Augmented Interval and Rectangle Networks. KR 2000: 571-579
• 
  Robert A. Morris, Paul H. Morris:
  On the complexity of reasoning about repeating events. KR 2000: 580-588

Knowledge Engineering

• 
  Peter Clark, John A. Thompson, Bruce W. Porter:
  Knowledge Patterns. KR 2000: 591-600
• 
  Stefan Schulz, Udo Hahn:
  Knowledge Engineering by Large-Scale Knowledge Reuse - Experience from the Medical Domain. KR 2000: 601-610
• 
  Hasan M. Jamil:
  A Logic Based Language for Parametric Inheritance. KR 2000: 611-622

Non Monotonic Reasoning 2

• 
  Jérôme Lang, Pierre Marquis:
  In search of the right extension. KR 2000: 625-636
• 
  Ramón Pino Pérez, Carlos Uzcátegui:
  Ordering explanations and the structural rules for abduction. KR 2000: 637-646
• 
  Zhaohui Zhu, Ben Li, Shifu Chen, Wujia Zhu:
  Valuation-ranked preferential model. KR 2000: 647-653

Planning (Joint program with AIPS 2000)

• 
  Enrico Giunchiglia:
  Planning as Satisfiability with Expressive Action Languages: Concurrency, Constraints and Nondeterminism. KR 2000: 657-666
• 
  Mario Martín, Hector Geffner:
  Learning Generalized Policies in Planning Using Concept Languages. KR 2000: 667-677
• 
  Luca Iocchi, Daniele Nardi, Riccardo Rosati:
  Planning with sensing, concurrency, and exogenous events: logical framework and implementation. KR 2000: 678-689
• 
  Matthew L. Ginsberg, Andrew J. Parkes:
  Satisfiability Algorithms and Finite Quantification. KR 2000: 690-701
• 
  Richmond H. Thomason:
  Desires and Defaults: A Framework for Planning with Inferred Goals. KR 2000: 702-713

Panel Abstracts

• 
  Adam Pease, Vinay K. Chaudhri, Fritz Lehmann, Adam Farquhar:
  Practical Knowledge Representation and the DARPA High Performance Knowledge Bases Project. KR 2000: 717-724
• 
  Leora Morgenstern, Richmond H. Thomason:
  Teaching Knowledge Representation: Challenges and Proposals. KR 2000: 725-733

Acknowledgement: The information on this page was contributed by Andrei Voronkov