10. KR 2006: Lake District of the United Kingdom

Patrick Doherty, John Mylopoulos, Christopher A. Welty (Eds.): Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006. AAAI Press 2006, ISBN 978-1-57735-271-6 BibTeX

Invited Keynote Presentations

Jon Doyle: On Mechanization of Thought Processes (Extended Abstract). 2 BibTeX
David Maier, Alon Y. Halevy, Michael J. Franklin: Dataspaces: Co-existence with Heterogeneity. 3 BibTeX
Alan L. Rector: Users Are Always Right ... Even When They Are Wrong: Making Knowledge Representation Useful and Usable. 4 BibTeX

Philosophical and Psychological Issues

Joseph Y. Halpern, Leandro Chaves Rêgo: Reasoning about Knowledge of Unawareness. 6-13 BibTeX
Lawrence E. Blume, David A. Easley, Joseph Y. Halpern: Redoing the Foundations of Decision Theory. 14-24 BibTeX
Pedro Cabalar, Sergei P. Odintsov, David Pearce: Logical Foundations of Well-Founded Semantics. 25-35 BibTeX
Brandon Bennett: A Theory of Vague Adjectives Grounded in Relevant Observables. 36-45 BibTeX

Description Logics

Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter: Updating Description Logic ABoxes. 46-56 BibTeX
Ian Horrocks, Oliver Kutz, Ulrike Sattler: The Even More Irresistible SROIQ. 57-67 BibTeX
Riccardo Rosati: DL+log: Tight Integration of Description Logics and Disjunctive Datalog. 68-78 BibTeX
Balder ten Cate, Willem Conradie, Maarten Marx, Yde Venema: Definitorially Complete Description Logics. 79-89 BibTeX
Evren Sirin, Bernardo Cuenca Grau, Bijan Parsia: From Wine to Water: Optimizing Description Logic Reasoning for Nominals. 90-99 BibTeX
Scott Sanner, Sheila A. McIlraith: An Ordered Theory Resolution Calculus for Hybrid Reasoning in First-Order Extensions of Description Logic. 100-111 BibTeX

Argumentation

Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis: Constrained Argumentation Frameworks. 112-122 BibTeX
Philippe Besnard, Anthony Hunter: Knowledgebase Compilation for Efficient Logical Argumentation. 123-133 BibTeX

Preferences

Meghyn Bienvenu, Christian Fritz, Sheila A. McIlraith: Planning with Qualitative Temporal Preferences. 134-144 BibTeX
Yann Chevaleyre, Ulle Endriss, Jérôme Lang: Expressive Power of Weighted Propositional Formulas for Cardinal Preference Modeling. 145-152 BibTeX
Christian Fritz, Sheila A. McIlraith: Decision-Theoretic GOLOG with Qualitative Preferences. 153-163 BibTeX
Thomas Lukasiewicz, Jörg Schellhase: Variable-Strength Conditional Preferences for Matchmaking in Description Logics. 164-174 BibTeX
Didier Dubois, Hélène Fargier: Qualitative Decision Making with Bipolar Information. 175-186 BibTeX

Ontologies

Silvio Ghilardi, Carsten Lutz, Frank Wolter: Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics. 187-197 BibTeX
Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin, Aditya Kalyanpur: Modularity and Web Ontologies. 198-209 BibTeX

Beliefs and Belief Revision

James P. Delgrande, Didier Dubois, Jérôme Lang: Iterated Revision as Prioritized Merging. 210-220 BibTeX
Benoit Gaudou, Andreas Herzig, Dominique Longin: Grounding and the Expression of Belief. 221-229 BibTeX
Richard Booth, Thomas Andreas Meyer, Ka-shu Wong: A Bad Day Surfing Is Better than a Good Day Working: How to Revise a Total Preorder. 230-238 BibTeX
Jonathan Ben-Naim: Lack of Finite Characterizations for the Distance-Based Revision. 239-248 BibTeX
Anthony Hunter, Sébastien Konieczny: Shapley Inconsistency Values. 249-259 BibTeX

Complexity Analysis

Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Data Complexity of Query Answering in Description Logics. 260-270 BibTeX
Madalina Croitoru, Ernesto Compatangelo: A Tree Decomposition Algorithm for Conceptual Graph Projection. 271-276 BibTeX
Michael Wachter, Rolf Haenni: Propositional DAGs: A New Graph-Based Language for Representing Boolean Functions. 277-285 BibTeX
Sylvie Coste-Marquis, Hélène Fargier, Jérôme Lang, Daniel Le Berre, Pierre Marquis: Representing Policies for Quantified Boolean Formulae. 286-297 BibTeX

Logic Programming

Yin Chen, Fangzhen Lin, Yisong Wang, Mingyi Zhang: First-Order Loop Formulas for Normal Logic Programs. 298-307 BibTeX
Yan Zhang: Computational Properties of Epistemic Logic Programs. 308-317 BibTeX
Jens Claßen, Gerhard Lakemeyer: Foundations for Knowledge-Based Programs using ES. 318-318 BibTeX
Umberto Straccia: Query Answering under the Any-World Assumption for Normal Logic Programs. 329-339 BibTeX
Thomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, Stefan Woltran: Replacements in Non-Ground Answer-Set Programming. 340-351 BibTeX

Space, Time, and Action

David A. Randell, Mark Witkowski: Abductive Visual Perception with Feature Clouds. 352-361 BibTeX
Michael Thielscher, Thomas Witkowski: The Features-and-Fluents Semantics for the Fluent Calculus. 362-370 BibTeX
Victor Jauregui: Semantical Considerations for a Logic of Actions: An Imperative Manifesto. 371-376 BibTeX
Selim T. Erdogan, Vladimir Lifschitz: Actions as Special Cases. 377-388 BibTeX

Knowledge Representation Logics

Miroslaw Truszczynski: Strong and Uniform Equivalence of Nonmonotonic Theories - An Algebraic Approach. 389-399 BibTeX
Piero A. Bonatti, Carsten Lutz, Frank Wolter: Description Logics with Circumscription. 400-410 BibTeX
Thomas Ågotnes, Natasha Alechina: Semantics for Dynamic Syntactic Epistemic Logics. 411-419 BibTeX
Didier Dubois, Angelo Gilio, Gabriele Kern-Isberner: Probabilistic Abduction without Priors. 420-430 BibTeX
Anna Zamansky, Arnon Avron: Non-Deterministic Semantics for First-Order Paraconsistent Logics. 431-439 BibTeX
Florence Dupin de Saint-Cyr, Henri Prade: Possibilistic Handling of Uncertain Default Rules with Applications to Persistence Modeling and Fuzzy Default Reasoning. 440-451 BibTeX

Knowledge Representation and Planning

Blai Bonet, Hector Geffner: Heuristics for Planning with Penalties and Rewards using Compiled Knowledge. 452-462 BibTeX
Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque: On the Limits of Planning over Belief States under Strict Uncertainty. 463-471 BibTeX
Marco Ragni, Stefan Wölfl: Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning. 472-480 BibTeX
Tran Cao Son, Phan Huy Tu: On the Completeness of Approximation Based Reasoning and Planning in Action Theories with Incomplete Information. 481-491 BibTeX
Jorge A. Baier, Sheila A. McIlraith: On Planning with Programs that Sense. 492-502 BibTeX
Robert Feldmann, Gerhard Brewka, Sandro Wenzel: Planning with Prioritized Goals. 503-514 BibTeX