Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

KER
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.