Didier Dubois, Christopher A. Welty, Mary-Anne Williams
Proceedings of the Ninth International Conference on Principles of Knowledge Representation and Reasoning
KR, 2004.

@proceedings{KR-2004,
	address       = "Whistler, Canada",
	editor        = "Didier Dubois and Christopher A. Welty and Mary-Anne Williams",
	isbn          = "1-57735-199-1",
	publisher     = "{AAAI Press}",
	title         = "{Proceedings of the Ninth International Conference on Principles of Knowledge Representation and Reasoning}",
	year          = 2004,
}

Contents (78 items)

8 ×#logic
8 ×#reasoning
5 ×#semantics
4 ×#analysis
4 ×#concept
4 ×#logic programming
4 ×#ontology
3 ×#algorithm
3 ×#calculus
3 ×#induction

KR-2004-Bell

Causation and Causal Conditionals (JB), pp. 2–11.

KR-2004-Halpern

Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems (JYH), pp. 12–22.

KR-2004-Lukasiewicz #logic #probability

Weak Nonmonotonic Probabilistic Logics (TL), pp. 23–33.

KR-2004-Kern-IsbernerF #induction #information management #representation

Knowledge Discovery by Reversing Inductive Knowledge Representation (GKI, JF), pp. 34–44.

KR-2004-Galton #multi

Multidimensional Mereotopology (AG), pp. 45–54.

KR-2004-SchulzH #concept

Parthood as Spatial Inclusion — Evidence from biomedical Conceptualizations (SS, UH), pp. 55–63.

KR-2004-ShanahanR #visual notation

A Logic-Based Formulation of Active Visual Perception (MS, DAR), pp. 64–72.

KR-2004-Pirri #classification

Indoor Environment Classification and Perceptual Matching (FP), pp. 73–84.

KR-2004-YamanNS #logic

A Logic of Motion (FY, DSN, VSS), pp. 85–94.

KR-2004-CondottaL #axiom #calculus

Axiomatizing the Cyclic Interval Calculus (JFC, GL), pp. 95–105.

KR-2004-Denecker #analysis #logic programming #what

What’s in a Model? Epistemological Analysis of Logic Programming (MD), pp. 106–113.

KR-2004-FieldingSCS #integration #ontology

Ontological Theory for Ontological Engineering: Biomedical Systems Information Integration (JMF, JS, WC, BS), pp. 114–120.

KR-2004-Halpern04a #transitive

Intransitivity and Vagueness (JYH), pp. 121–129.

KR-2004-BenferhatBN #analysis #reasoning

An Experimental Analysis of Possibilistic Default Reasoning (SB, JFB, RDSN), pp. 130–140.

KR-2004-EiterLST #logic #programming #semantics #set #web

Combining Answer Set Programming with Description Logics for the Semantic Web (TE, TL, RS, HT), pp. 141–151.

KR-2004-HustadtMS #datalog #logic #source code

Reducing SHIQ-Description Logic to Disjunctive Datalog Programs (UH, BM, US), pp. 152–162.

KR-2004-HaarslevM #documentation #optimisation #owl #rdf

Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results (VH, RM), pp. 163–174.

KR-2004-AmgoudP #approach

Reaching Agreement Through Argumentation: A Possibilistic Approach (LA, HP), pp. 175–182.

KR-2004-BesnardD #semantics

Characterization of Semantics for Argument Systems (PB, SD), pp. 183–193.

KR-2004-AmgoudC #on the #using

On the Use of an ATMS for Handling Conflicting Desires (LA, CC), pp. 194–202.

KR-2004-Coste-MarquisLLM #representation

Expressive Power and Succinctness of Propositional Languages for Preference Representation (SCM, JL, PL, PM), pp. 203–212.

KR-2004-Brewka #optimisation #set

Complex Preferences for Answer Set Optimization (GB), pp. 213–223.

KR-2004-GonzalesP #elicitation #network

GAI Networks for Utility Elicitation (CG, PP), pp. 224–234.

KR-2004-Davis #communication #first-order

A First-Order Theory of Communicating First-Order Formulas (ED), pp. 235–245.

KR-2004-TranHH #reasoning

Observation Expectation Reasoning in Agent Systems (BVT, JH, MH), pp. 246–254.

KR-2004-BoellaT #multi

Regulative and Constitutive Norms in Normative Multiagent Systems (GB, LWNvdT), pp. 255–266.

KR-2004-MasoloVBCFGG #social

Social Roles and their Descriptions (CM, LV, EB, CC, RF, AG, NG), pp. 267–277.

KR-2004-KaneiwaM #knowledge base #ontology #reasoning

Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity (KK, RM), pp. 278–288.

KR-2004-Garbacz

The Four Dimensions of Artifacts (PG), pp. 289–299.

KR-2004-Eschenbach #concept #how

How to Interweave Knowledge about Object Structure and Concepts (CE), pp. 300–310.

KR-2004-MeyerFKZ #logic

Logical Foundations of Negotiation: Strategies and Preferences (TAM, NYF, RK, DZ), pp. 311–318.

KR-2004-PeppasCF #distance #semantics

Distance Semantics for Relevance-Sensitive Belief Revision (PP, SC, NYF), pp. 319–328.

KR-2004-BlochPU

A Unified Treatment for Knowledge Dynamics (IB, RPP, CU), pp. 329–337.

KR-2004-MailheP #fuzzy #knowledge base

Updating of a Possibilistic Knowledge Base by Crisp or Fuzzy Transition Rules (BM, HP), pp. 338–347.

KR-2004-QiLG #consistency #knowledge base

A Split-Combination Method for Merging Inconsistent Possibilistic Knowledge Bases (GQ, WL, DHG), pp. 348–356.

KR-2004-EveraereKM #on the

On Merging Strategy-Proofness (PE, SK, PM), pp. 357–368.

KR-2004-SerafiniR #satisfiability

Satisfiability for Propositional Contexts (LS, FR), pp. 369–376.

KR-2004-EiterFFPW #bound #complexity #model checking #programming #set

Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming (TE, WF, MF, GP, SW), pp. 377–387.

KR-2004-CadoliM #automation #constraints #specification

Automated Reformulation of Specifications by Safe Delay of Constraints (MC, TM), pp. 388–398.

KR-2004-GrootTH #analysis #approximate #case study #classification #problem #towards

Towards a Structured Analysis of Approximate Problem Solving: A Case Study in Classification (PG, AtT, FvH), pp. 399–406.

KR-2004-Baget #algorithm #concept #graph

Improving the Forward Chaining Algorithm for Conceptual Graphs Rules (JFB), pp. 407–414.

KR-2004-Provan #abduction #complexity #modelling

Inferential Complexity Control for Model-Based Abduction (GMP), pp. 415–426.

KR-2004-Bochman #logic programming

A Causal Logic of Logic Programming (AB), pp. 427–437.

KR-2004-RaedtR #induction #logic programming

Condensed Representations for Inductive Logic Programming (LDR, JR), pp. 438–446.

KR-2004-EiterFTW #logic programming #on the

On Eliminating Disjunctions in Stable Logic Programming (TE, MF, HT, SW), pp. 447–458.

KR-2004-DohertySL #approximate #ontology #query

Approximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities (PD, AS, WL), pp. 459–468.

KR-2004-CalvaneseGLLR #query #what

What to Ask to a Peer: Ontolgoy-based Query Reformulation (DC, GDG, DL, ML, RR), pp. 469–478.

KR-2004-SmythP #probability

Qualitative Probabilistic Matching with Hierarchical Descriptions (CS, DP), pp. 479–487.

KR-2004-BarkerCCCFIMPRTY

A Question-Answering System for AP Chemistry: Assessing KR&R Technologies (KB, VKC, SYC, PC, JF, DJI, SM, BWP, PR, DT, PZY), pp. 488–497.

KR-2004-Park #concept #named #ontology

GlossOnt: A Concept-focused Ontology Building Tool (YP), pp. 498–506.

KR-2004-FriedlandAWMSMASICPBC #analysis #independence #platform #towards

Towards a Quantitative, Platform-Independent Analysis of Knowledge Systems (NSF, PGA, MJW, GM, NS, PM, JA, SS, DJI, VKC, BWP, KB, PC), pp. 507–515.

KR-2004-LakemeyerL #exclamation

Situations, Si! Situation Terms, No! (GL, HJL), pp. 516–526.

KR-2004-HerzigL #revisited

C&L Intention Revisited (AH, DL), pp. 527–535.

KR-2004-Lin #invariant

Discovering State Invariants (FL), pp. 536–544.

KR-2004-DeneckerT #calculus #induction

Inductive Situation Calculus (MD, ET), pp. 545–553.

KR-2004-TranB #interactive #prolog #reasoning

Reasoning about Triggered Actions in AnsProlog and Its Application to Molecular Interactions in Cells (NT, CB), pp. 554–564.

KR-2004-Shapiro #logic

A Logic of Arbitrary and Indefinite Objects (SCS), pp. 565–575.

KR-2004-SuLZ #reasoning

Reasoning about Knowledge by Variable Forgetting (KS, GL, YZ), pp. 576–586.

KR-2004-LiuLL #logic #reasoning

A Logic of Limited Belief for Reasoning with Disjunctive Information (YL, GL, HJL), pp. 587–597.

KR-2004-PacuitS #logic

Majority Logic (EP, SS), pp. 598–605.

KR-2004-ZhouC #semantics

Partial Implication Semantics for Desirable Propositions (YZ, XC), pp. 606–612.

KR-2004-PetrickB #approach #knowledge-based

Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing (RPAP, FB), pp. 613–622.

KR-2004-MartinNT #calculus

Knowledge of Other Agents and Communicative Actions in the Fluent Calculus (YM, IN, MT), pp. 623–633.

KR-2004-Gabaldon #algorithm

Precondition Control and the Progression Algorithm (AG), pp. 634–643.

KR-2004-Lang

A Preference-Based Interpretation of Other Agents’ Actions (JL), pp. 644–653.

KR-2004-Barrett #compilation #hybrid

From Hybrid Systems to Universal Plans Via Domain Compilation (AB), pp. 654–661.

KR-2004-Geffner #compilation #graph

Planning Graphs and Knowledge Compilation (HG), pp. 662–672.

KR-2004-DelgrandeST #reasoning

Domain-Specific Preferences for Causal Reasoning and Planning (JPD, TS, HT), pp. 673–682.

KR-2004-PasulaZK #learning #probability #relational

Learning Probabilistic Relational Planning Rules (HP, LSZ, LPK), pp. 683–691.

KR-2004-ZhangZ #integer #problem #scheduling

An Improved Integer Local Search for Complex Scheduling Problems (WZ, XZ), pp. 692–700.

KR-2004-ZhouH #heuristic

Breadth-First Heuristic Search (RZ, EAH), pp. 701–709.

KR-2004-Rintanen #case study

Phase Transitions in Classical Planning: An Experimental Study (JR), pp. 710–719.

KR-2004-BaralE #algorithm #policy #polynomial

A Polynomial-Time Algorithm for Constructing k-Maintainable Policies (CB, TE), pp. 720–730.

KR-2004-Doherty #research

Advanced Research with Autonomous Unmanned Aerial Vehicles (PD), pp. 731–732.

KR-2004-GilboaS

Evidence and Belief (IG, DS), pp. 733–734.

KR-2004-Patel-Schneider #owl #question #what #why

What Is OWL (and Why Should I Care)? (PFPS), pp. 735–737.

KR-2004-McCarthy #reasoning

Historical Remarks on Nonmonotonic Reasoning, Especially Circumscription (JM0), pp. 738–739.

KR-2004-Woods #semantics

Meaning and Links: A Semantic Odyssey (WAW), pp. 740–742.