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)

8 ×#logic
6 ×#complexity
5 ×#approach
4 ×#on the
4 ×#reasoning
3 ×#calculus
3 ×#composition
3 ×#framework
3 ×#representation
3 ×#semantics

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.