Anthony G. Cohn, Fausto Giunchiglia, Bart Selman
Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning
KR, 2000.

@proceedings{KR-2000,
	address       = "Breckenridge, Colorado, USA",
	editor        = "Anthony G. Cohn and Fausto Giunchiglia and Bart Selman",
	publisher     = "{Morgan Kaufmann}",
	title         = "{Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning}",
	year          = 2000,
}

Contents (64 items)

9 ×#reasoning
9 ×#representation
8 ×#logic
5 ×#using
4 ×#constraints
4 ×#framework
4 ×#information management
4 ×#knowledge base
3 ×#concept
3 ×#learning

KR-2000-WolterZ #reasoning #representation

Spatio-temporal representation and reasoning based on RCC-8 (FW, MZ), pp. 3–14.

KR-2000-CristaniCB

Spatial Locations via Morpho-Mereology (MC, AGC, BB), pp. 15–25.

KR-2000-Galton

Continuous Motion in Discrete Space (AG), pp. 26–37.

KR-2000-Stell #multi #representation

The Representation of Discrete Multi-resolution Spatial Knowledge (JGS), pp. 38–49.

KR-2000-DimopoulosNT

Finding Admissible and Preferred Arguments Can be Very Hard (YD, BN, FT), pp. 53–61.

KR-2000-EiterL #complexity #knowledge base #reasoning

Complexity Results for Default Reasoning from Conditional Knowledge Bases (TE, TL), pp. 62–73.

KR-2000-DeneckerMT #logic #semantics

Uniform semantic treatment of default and autoepistemic logic (MD, VWM, MT), pp. 74–84.

KR-2000-Lifschitz

Missionaries and Cannibals in the Causal Calculator (VL), pp. 85–96.

KR-2000-Reiter #source code

Narratives as Programs (RR), pp. 99–108.

KR-2000-Thielscher #representation

Representing the Knowledge of a Robot (MT), pp. 109–120.

KR-2000-ChomickiLN #approach #logic programming #policy

A Logic Programming Approach to Conflict Resolution in Policy Management (JC, JL, SAN), pp. 121–132.

KR-2000-Konieczny #difference #knowledge base #on the

On the Difference between Merging Knowledge Bases and Combining them (SK), pp. 135–144.

KR-2000-LiberatoreS #integration #knowledge base #named

BReLS: A System for the Integration of Knowledge Bases (PL, MS), pp. 145–152.

KR-2000-Maynard-ReidL #representation

Representing and Aggregating Conflicting Beliefs (PMRI, DJL), pp. 153–164.

KR-2000-Lin #on the

On Strongest Necessary and Weakest Sufficient Conditions (FL), pp. 167–175.

KR-2000-CalvaneseGLV #query

Containment of Conjunctive Regular Path Queries with Inverse (DC, GDG, ML, MYV), pp. 176–185.

KR-2000-Massacci #first-order #reduction

Reduction rules and universal variables for first order tableaux and DPLL (FM), pp. 186–197.

KR-2000-Voronkov #using

Deciding K using inverse-K (AV), pp. 198–209.

KR-2000-FattahP #approach #automation #composition #query

A Compositional Structured Query Approach to Automated Inference (YEF, MAP), pp. 213–224.

KR-2000-Yelland #logic #network

An Alternative Combination of Bayesian Networks and Description Logics (PMY), pp. 225–234.

KR-2000-AmorBDGP #framework #independence #nondeterminism

Independence in qualitative uncertainty frameworks (NBA, SB, DD, HG, HP), pp. 235–246.

KR-2000-Bloch #representation

Spatial representation of spatial relationship knowledge (IB), pp. 247–258.

KR-2000-BaaderK #concept #strict

Matching Concept Descriptions with Existential Restrictions (FB, RK), pp. 261–272.

KR-2000-HaarslevM #reasoning #strict #transitive

Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles (VH, RM), pp. 273–284.

KR-2000-HorrocksT #axiom #reasoning #theory and practice

Reasoning with Axioms: Theory and Practice (IH, ST), pp. 285–296.

KR-2000-BaaderKM #concept #using

Rewriting Concepts Using Terminologies (FB, RK, RM), pp. 297–308.

KR-2000-BaralMS #problem #using

Formulating diagnostic problem solving using an action language with narratives and sensing (CB, SAM, TCS), pp. 311–322.

KR-2000-VerberneHT #approximate #constraints #reasoning #using

Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation (AV, FvH, AtT), pp. 323–332.

KR-2000-LampertiZ #compilation #generative

Generation of Diagnostic Knowledge by Discrete-Event Model Compilation (GL, MZ), pp. 333–344.

KR-2000-Wassermann #algorithm

An Algorithm for Belief Revision (RW), pp. 345–352.

KR-2000-IsmailS #problem #reasoning

Two Problems with Reasoning and Acting in Time (HOI, SCS), pp. 355–365.

KR-2000-Mota #set

Cyclical and Granular Time Theories as Subsets of the Herbrand Universe (EM), pp. 366–377.

KR-2000-BalbianiO #reasoning

A Model for Reasoning about Topologic Relations between cyclic intervals (PB, AO), pp. 378–385.

KR-2000-AmirM #logic #reasoning

Partition-Based Logical Reasoning (EA, SAM), pp. 389–400.

KR-2000-BesnardS

Significant Inferences : Preliminary Report (PB, TS), pp. 401–410.

KR-2000-JanhunenNSY #semantics

Unfolding Partiality and Disjunctions in Stable Model Semantics (TJ, IN, PS, JHY), pp. 411–422.

KR-2000-CumbyR #learning #relational

Relational Representations that Facilitate Learning (CMC, DR), pp. 425–434.

KR-2000-BisoRS #constraints #learning

Experimental Results on Learning Soft Constraints (AB, FR, AS), pp. 435–444.

KR-2000-FargierLM #logic

Propositional Logic and One-Stage Decision Making (HF, JL, PM), pp. 445–456.

KR-2000-LafageL #logic #representation

Logical representation of preferences for group decision making (CL, JL), pp. 457–468.

KR-2000-Chalupsky #named

OntoMorph: A Translation System for Symbolic Knowledge (HC), pp. 471–482.

KR-2000-McGuinnessFRW #ontology #scalability #testing

An Environment for Merging and Testing Large Ontologies (DLM, RF, JR, SW), pp. 483–493.

KR-2000-RychtyckyjR #information management #representation

Long-Term Maintanability of Deployed Knowledge Representation Systems (NR, RGR), pp. 494–504.

KR-2000-WurbelJP #framework #named

Revision: an application in the framework of GIS (EW, RJ, OP), pp. 505–515.

KR-2000-McCarthy #approximate

Approximate Objects and Approximate Theories (JM0), pp. 519–526.

KR-2000-ShapiroPLL #calculus

Iterated Belief Change in the Situation Calculus (SS, MP, YL, HJL), pp. 527–538.

KR-2000-CiocoiuN #ontology #semantics

Ontology-Based Semantics (MC, DSN), pp. 539–546.

KR-2000-MontanariPS #automation #deduction #first-order #logic

Supporting automated deduction in first-order modal logics (AM, AP, MS), pp. 547–556.

KR-2000-Vidal #constraints #network

Controllability characterization and checking in Contingent Temporal Constraint Networks (TV), pp. 559–570.

KR-2000-Condotta #network

The Augmented Interval and Rectangle Networks (JFC), pp. 571–579.

KR-2000-MorrisM #complexity #on the #reasoning

On the complexity of reasoning about repeating events (RAM, PHM), pp. 580–588.

KR-2000-ClarkTP

Knowledge Patterns (PC, JAT, BWP), pp. 591–600.

KR-2000-SchulzH #experience #information management #reuse #scalability

Knowledge Engineering by Large-Scale Knowledge Reuse — Experience from the Medical Domain (SS, UH), pp. 601–610.

KR-2000-Jamil #inheritance #logic #parametricity

A Logic Based Language for Parametric Inheritance (HMJ), pp. 611–622.

KR-2000-LangM

In search of the right extension (JL, PM), pp. 625–636.

KR-2000-Pino-PerezU #abduction

Ordering explanations and the structural rules for abduction (RPP, CU), pp. 637–646.

KR-2000-ZhuLCZ

Valuation-ranked preferential model (ZZ, BL, SC, WZ), pp. 647–653.

KR-2000-Giunchiglia #concurrent #constraints #nondeterminism #satisfiability

Planning as Satisfiability with Expressive Action Languages: Concurrency, Constraints and Nondeterminism (EG), pp. 657–666.

KR-2000-MartinG #concept #learning #policy #using

Learning Generalized Policies in Planning Using Concept Languages (MM, HG), pp. 667–677.

KR-2000-IocchiNR #concurrent #framework #implementation #logic

Planning with sensing, concurrency, and exogenous events: logical framework and implementation (LI, DN, RR), pp. 678–689.

KR-2000-GinsbergP #algorithm #finite #quantifier #satisfiability

Satisfiability Algorithms and Finite Quantification (MLG, AJP), pp. 690–701.

KR-2000-Thomason #framework

Desires and Defaults: A Framework for Planning with Inferred Goals (RHT), pp. 702–713.

KR-2000-PeaseCLF #information management #knowledge base #performance #representation

Practical Knowledge Representation and the DARPA High Performance Knowledge Bases Project (AP, VKC, FL, AF), pp. 717–724.

KR-2000-MorgensternT #challenge #education #information management #representation

Teaching Knowledge Representation: Challenges and Proposals (LM, RHT), pp. 725–733.