## Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, Mary-Anne Williams

*Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning*

KR, 2002.

@proceedings{KR-2002, address = "Toulouse, France", editor = "Dieter Fensel and Fausto Giunchiglia and Deborah L. McGuinness and Mary-Anne Williams", isbn = "1-55860-554-1", publisher = "{Morgan Kaufmann}", title = "{Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning}", year = 2002, }

### Contents (54 items)

- KR-2002-Shanahan #feedback #logic
- A Logical Account of Perception Incorporating Feedback and Expectation (MS), pp. 3–13.
- KR-2002-HazarikaC
- Abducing Qualitative Spatio-Temporal Histories from Partial Observations (SMH, AGC), pp. 14–25.
- KR-2002-RandellW #axiom #composition #scalability
- Building Large Composition Tables via Axiomatic Theories (DAR, MW), pp. 26–36.
- KR-2002-BerN #comparison #design
- Design and Comparison of Lattices of Topological Relations Based on Galois Lattice Theory (FLB, AN), pp. 37–48.
- KR-2002-EiterL #approach #complexity
- Complexity Results for Explanations in the Structural-Model Approach (TE, TL), pp. 49–60.
- KR-2002-Coste-MarquisM #complexity
- Complexity Results for Paraconsistent Inference Relations (SCM, PM), pp. 61–72.
- KR-2002-Lakemeyer #first-order #knowledge base #reasoning
- Evaluation-Based Reasoning with Disjunctive Information in First-Order Knowledge Bases (GL), pp. 73–81.
- KR-2002-BaralZ #complexity #model checking
- The Complexity of Model Checking for Knowledge Update (CB, YZ), pp. 82–96.
- KR-2002-KoniecznyLM #complexity #distance #framework
- Distance Based Merging: A General Framework and some Complexity Results (SK, JL, PM), pp. 97–108.
- KR-2002-KoniecznyP #on the
- On the Frontier between Arbitration and Majority (SK, RPP), pp. 109–120.
- KR-2002-DomshlakB #consistency #named #reasoning #testing
- CP-nets: Reasoning and Consistency Testing (CD, RIB), pp. 121–132.
- KR-2002-DuboisFP #on the
- On the Limitations of Ordinal Approaches to Decision-making (DD, HF, PP), pp. 133–146.
- KR-2002-Kern-Isberner #approach #reasoning
- A Structural Approach to Default Reasoning (GKI), pp. 147–157.
- KR-2002-BrewkaBB #logic
- Qualitative Choice Logic (GB, SB, DLB), pp. 158–169.
- KR-2002-Lin #equivalence #logic programming #source code
- Reducing Strong Equivalence of Logic Programs to Entailment in Classical Propositional Logic (FL), pp. 170–176.
- KR-2002-DeneckerMT #approximate #information management #representation
- Ultimate Approximations in Nonmonotonic Knowledge Representation Systems (MD, VWM, MT), pp. 177–190.
- KR-2002-Lutz #logic
- Adding Numbers to the SHIQ Description Logic: First Results (CL), pp. 191–202.
- KR-2002-BrandtKT #approximate #difference #logic
- Approximation and Difference in Description Logics (SB, RK, AYT), pp. 203–214.
- KR-2002-KutzWZ
- Connecting Abstract Description Systems (OK, FW, MZ), pp. 215–226.
- KR-2002-TessarisHG #algorithm #composition
- Evaluating a Modular Abox Algorithm (ST, IH, GG), pp. 227–238.
- KR-2002-LangM #consistency #nondeterminism
- Resolving Inconsistencies by Variable Forgetting (JL, PM), pp. 239–250.
- KR-2002-DonaS
- Updating Contexts (AD, LS), pp. 251–264.
- KR-2002-Cristani
- Many-Sorted Preference Relations (MC), pp. 265–276.
- KR-2002-Lang #combinator #representation
- From Preference Representation to Combinatorial Vote (JL), pp. 277–290.
- KR-2002-BaralST
- A Transition Function Based Characterization of Actions with Delayed and Continuous Effects (CB, TCS, LCT), pp. 291–302.
- KR-2002-PetrickL #equivalence
- Knowledge Equivalence in Combined Action Theories (RPAP, HJL), pp. 303–314.
- KR-2002-Amir #calculus
- Projection in Decomposed Situation Calculus (EA), pp. 315–326.
- KR-2002-MateusPP #calculus #probability
- Observations and the Probabilistic Situation Calculus (PM, AP, JP), pp. 327–340.
- KR-2002-Provan #distributed #embedded #framework #modelling
- A Model-Based Diagnosis Framework for Distributed Embedded Systems (GMP), pp. 341–352.
- KR-2002-BatsellBOTV
- Eliminating Incoherence from Subjective Estimates of Chance (RB, LB, DNO, ST, MYV), pp. 353–364.
- KR-2002-PintoM #distributed #evolution #ontology
- Evolving Ontologies in Distributed and Dynamic Settings (HSANPP, JPM), pp. 365–374.
- KR-2002-Booth #social
- Social Contraction and Belief Negotiation (RB), pp. 375–386.
- KR-2002-Schulz
- Necessary Parts and Wholes in Bio-Ontologies (SS), pp. 387–394.
- KR-2002-Bennett #physics
- Physical Objects, Identity and Vagueness (BB), pp. 395–408.
- KR-2002-Darwiche #approach #logic #network
- A Logical Approach to Factoring Belief Networks (AD), pp. 409–420.
- KR-2002-BernferhatDKP #framework #logic #representation
- Bipolar Representation and Fusion of Preferences on the Possibilistic Logic framework (SB, DD, SK, HP), pp. 421–448.
- KR-2002-CalmesDHPS #approach #flexibility #fuzzy #query
- A Fuzzy Approach to Flexible Case-based Querying: Methodology and Experimentation (MdC, DD, EH, HP, FS), pp. 449–458.
- KR-2002-EiterFST #approach #knowledge-based
- A Generic Approach for Knowledge-Based Information-Site Selection (TE, MF, GS, HT), pp. 459–469.
- KR-2002-WinikoffPHT #declarative
- Declarative & Procedural Goals in Intelligent Agent Systems (MW, LP, JH, JT), pp. 470–481.
- KR-2002-McIlraithS #adaptation #composition #semantics #web #web service
- Adapting Golog for Composition of Semantic Web Services (SAM, TCS), pp. 482–496.
- KR-2002-Saint-CyrL #how #predict
- Belief Extrapolation (or how to Reason About Observations and Unpredicted Change) (FDdSC, JL), pp. 497–508.
- KR-2002-Broxvall #constraints #infinity
- Constraint Satisfaction on Infinite Domains: Composing Domains and Decomposing Constraints (MB), pp. 509–520.
- KR-2002-Bittner
- Judgements about spatio-temporal relations (TB), pp. 521–532.
- KR-2002-HustadtS #benchmark #logic #metric
- Scientific Benchmarking with Temporal Logic Decision Procedures (UH, RAS), pp. 533–546.
- KR-2002-Fruhwirth #analysis #automation #complexity
- As Time Goes by: Automatic Complexity Analysis of Simplified Rules (TWF), pp. 547–557.
- KR-2002-BeygelzimerR #complexity #learning #network
- Inference Complexity as a Model-Selection Criterion for Learning Bayesian Networks (AB, IR), pp. 558–567.
- KR-2002-Cate #logic #on the
- On the Logic of d-separation (BtC), pp. 568–577.
- KR-2002-DoniniLMS
- Solving QBF by SMV (FMD, PL, FM, MS), pp. 578–592.
- KR-2002-CalvaneseGV #ltl #reasoning
- Reasoning about Actions and Planning in LTL Action Theories (DC, GDG, MYV), pp. 593–602.
- KR-2002-GiacomoLLS #implementation #on the #semantics
- On the Semantics of Deliberation in IndiGolog: From Theory to Implementation (GDG, YL, HJL, SS), pp. 603–614.
- KR-2002-McCarthy #calculus
- Actions and Other Events in Situation Calculus (JM0), pp. 615–628.
- KR-2002-Gardenfors #concept #higher-order #induction #similarity
- The Role of Higher Order Similarity in Induction and Concept Formation (PG), p. 629.
- KR-2002-Hendler #question #semantics #web
- The Semantic Web: KR’s Worst Nightmare? (JAH), p. 630.
- KR-2002-Nebel
- The Philosophical Soccer Player (BN), p. 631.

8 ×#logic

6 ×#complexity

5 ×#approach

4 ×#on the

4 ×#reasoning

3 ×#calculus

3 ×#composition

3 ×#framework

3 ×#representation

3 ×#semantics

6 ×#complexity

5 ×#approach

4 ×#on the

4 ×#reasoning

3 ×#calculus

3 ×#composition

3 ×#framework

3 ×#representation

3 ×#semantics