7. KR 2000: Breckenridge, Colorado, USA

Spatial Reasoning

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

Non Monotonic Reasoning 1

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

Representation of Action

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

Integration of Knowledge Sources

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

Automated Reasoning 1

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

Uncertainty

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

Description Logics

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

Diagnosis

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

Temporal Reasoning 1

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

Automated Reasoning 2

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

Learning and Decision Making

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

Applications and Systems

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

Representation Formalisms

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

Temporal Reasoning 2

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

Knowledge Engineering

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

Non Monotonic Reasoning 2

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

Planning (Joint program with AIPS 2000)

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

Panel Abstracts

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