Patrick Doherty, John Mylopoulos, Christopher A. Welty
Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning
KR, 2006.

@proceedings{KR-2006,
	editor        = "Patrick Doherty and John Mylopoulos and Christopher A. Welty",
	isbn          = "978-1-57735-271-6",
	publisher     = "{AAAI Press}",
	title         = "{Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning}",
	year          = 2006,
}

Contents (52 items)

14 ×#logic
5 ×#reasoning
5 ×#semantics
5 ×#source code
4 ×#nondeterminism
4 ×#on the
3 ×#first-order
3 ×#logic programming
3 ×#representation
2 ×#abduction

KR-2006-Doyle #on the #process

On Mechanization of Thought Processes (JD), p. 2.

KR-2006-MaierHF #named

Dataspaces: Co-existence with Heterogeneity (DM, AYH, MJF), p. 3.

KR-2006-Rector #information management #representation

Users Are Always Right ... Even When They Are Wrong: Making Knowledge Representation Useful and Usable (ALR), p. 4.

KR-2006-HalpernR #reasoning

Reasoning about Knowledge of Unawareness (JYH, LCR), pp. 6–13.

KR-2006-BlumeEH

Redoing the Foundations of Decision Theory (LEB, DAE, JYH), pp. 14–24.

KR-2006-CabalarOP #logic #semantics

Logical Foundations of Well-Founded Semantics (PC, SPO, DP), pp. 25–35.

KR-2006-Bennett #formal method

A Theory of Vague Adjectives Grounded in Relevant Observables (BB), pp. 36–45.

KR-2006-LiuLMW #logic

Updating Description Logic ABoxes (HL, CL, MM, FW), pp. 46–56.

KR-2006-HorrocksKS

The Even More Irresistible SROIQ (IH, OK, US), pp. 57–67.

KR-2006-Rosati #datalog #integration #logic

DL+log: Tight Integration of Description Logics and Disjunctive Datalog (RR), pp. 68–78.

KR-2006-CateCMV #logic

Definitorially Complete Description Logics (BtC, WC, MM, YV), pp. 79–89.

KR-2006-SirinGP #logic #optimisation #reasoning

From Wine to Water: Optimizing Description Logic Reasoning for Nominals (ES, BCG, BP), pp. 90–99.

KR-2006-SannerM #calculus #first-order #hybrid #logic #reasoning

An Ordered Theory Resolution Calculus for Hybrid Reasoning in First-Order Extensions of Description Logic (SS, SAM), pp. 100–111.

KR-2006-Coste-MarquisDM #framework

Constrained Argumentation Frameworks (SCM, CD, PM), pp. 112–122.

KR-2006-BesnardH #compilation #knowledge base #logic #performance

Knowledgebase Compilation for Efficient Logical Argumentation (PB, AH), pp. 123–133.

KR-2006-BienvenuFM

Planning with Qualitative Temporal Preferences (MB, CF, SAM), pp. 134–144.

KR-2006-ChevaleyreEL #modelling #power of

Expressive Power of Weighted Propositional Formulas for Cardinal Preference Modeling (YC, UE, JL), pp. 145–152.

KR-2006-FritzM

Decision-Theoretic GOLOG with Qualitative Preferences (CF, SAM), pp. 153–163.

KR-2006-LukasiewiczS #logic

Variable-Strength Conditional Preferences for Matchmaking in Description Logics (TL, JS), pp. 164–174.

KR-2006-DuboisF

Qualitative Decision Making with Bipolar Information (DD, HF), pp. 175–186.

KR-2006-GhilardiLW #logic #ontology

Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics (SG, CL, FW), pp. 187–197.

KR-2006-GrauPSK #composition #ontology #web

Modularity and Web Ontologies (BCG, BP, ES, AK), pp. 198–209.

KR-2006-DelgrandeDL

Iterated Revision as Prioritized Merging (JPD, DD, JL), pp. 210–220.

KR-2006-GaudouHL

Grounding and the Expression of Belief (BG, AH, DL), pp. 221–229.

KR-2006-BoothMW #how

A Bad Day Surfing Is Better than a Good Day Working: How to Revise a Total Preorder (RB, TAM, KSW), pp. 230–238.

KR-2006-Ben-Naim #finite

Lack of Finite Characterizations for the Distance-Based Revision (JBN), pp. 239–248.

KR-2006-HunterK #consistency #nondeterminism

Shapley Inconsistency Values (AH, SK), pp. 249–259.

KR-2006-CalvaneseGLLR #complexity #logic #query

Data Complexity of Query Answering in Description Logics (DC, GDG, DL, ML, RR), pp. 260–270.

KR-2006-CroitoruC #algorithm #composition #concept #graph

A Tree Decomposition Algorithm for Conceptual Graph Projection (MC, EC), pp. 271–276.

KR-2006-WachterH #graph #representation

Propositional DAGs: A New Graph-Based Language for Representing Boolean Functions (MW, RH), pp. 277–285.

KR-2006-Coste-MarquisFLBM #policy #quantifier #representation

Representing Policies for Quantified Boolean Formulae (SCM, HF, JL, DLB, PM), pp. 286–297.

KR-2006-ChenLWZ #first-order #logic programming #source code

First-Order Loop Formulas for Normal Logic Programs (YC, FL, YW, MZ), pp. 298–307.

KR-2006-Zhang #logic programming #source code

Computational Properties of Epistemic Logic Programs (YZ), pp. 308–317.

KR-2006-ClassenL #knowledge-based #source code #using

Foundations for Knowledge-Based Programs using ES (JC, GL), pp. 318–328.

KR-2006-Straccia #logic programming #query #source code

Query Answering under the Any-World Assumption for Normal Logic Programs (US), pp. 329–339.

KR-2006-EiterFTTW #programming

Replacements in Non-Ground Answer-Set Programming (TE, MF, HT, PT, SW), pp. 340–351.

KR-2006-RandellW #abduction #visual notation

Abductive Visual Perception with Feature Clouds (DAR, MW), pp. 352–361.

KR-2006-ThielscherW #calculus #semantics

The Features-and-Fluents Semantics for the Fluent Calculus (MT, TW), pp. 362–370.

KR-2006-Jauregui #imperative #logic #semantics

Semantical Considerations for a Logic of Actions: An Imperative Manifesto (VJ), pp. 371–376.

KR-2006-ErdoganL

Actions as Special Cases (STE, VL), pp. 377–388.

KR-2006-Truszczynski #algebra #approach #equivalence

Strong and Uniform Equivalence of Nonmonotonic Theories — An Algebraic Approach (MT), pp. 389–399.

KR-2006-BonattiLW #logic

Description Logics with Circumscription (PAB, CL, FW), pp. 400–410.

KR-2006-AgotnesA #logic #semantics

Semantics for Dynamic Syntactic Epistemic Logics (TÅ, NA), pp. 411–419.

KR-2006-DuboisGK #abduction #probability

Probabilistic Abduction without Priors (DD, AG, GKI), pp. 420–430.

KR-2006-ZamanskyA #first-order #logic #nondeterminism #semantics

Non-Deterministic Semantics for First-Order Paraconsistent Logics (AZ, AA), pp. 431–439.

KR-2006-Saint-CyrP #fuzzy #modelling #nondeterminism #persistent #reasoning

Possibilistic Handling of Uncertain Default Rules with Applications to Persistence Modeling and Fuzzy Default Reasoning (FDdSC, HP), pp. 440–451.

KR-2006-BonetG #heuristic #using

Heuristics for Planning with Penalties and Rewards using Compiled Knowledge (BB, HG), pp. 452–462.

KR-2006-SardinaGLL #nondeterminism #on the #strict

On the Limits of Planning over Belief States under Strict Uncertainty (SS, GDG, YL, HJL), pp. 463–471.

KR-2006-RagniW #constraints

Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning (MR, SW), pp. 472–480.

KR-2006-SonT #approximate #on the #reasoning

On the Completeness of Approximation Based Reasoning and Planning in Action Theories with Incomplete Information (TCS, PHT), pp. 481–491.

KR-2006-BaierM #on the #source code

On Planning with Programs that Sense (JAB, SAM), pp. 492–502.

KR-2006-FeldmannBW

Planning with Prioritized Goals (RF, GB, SW), pp. 503–514.