Proceedings of the 10th 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

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

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

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 (, 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.

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.