10. KR 2006: Lake District of the United Kingdom

Invited Keynote Presentations

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

Philosophical and Psychological Issues

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

Description Logics

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

Argumentation

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

Preferences

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

Ontologies

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

Beliefs and Belief Revision

• James P. Delgrande, Didier Dubois, Jérôme Lang: Iterated Revision as Prioritized Merging. 210-220
• Benoit Gaudou, Andreas Herzig, Dominique Longin: Grounding and the Expression of Belief. 221-229
• 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
• Jonathan Ben-Naim: Lack of Finite Characterizations for the Distance-Based Revision. 239-248
• Anthony Hunter, Sébastien Konieczny: Shapley Inconsistency Values. 249-259

Complexity Analysis

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

Logic Programming

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

Space, Time, and Action

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

Knowledge Representation Logics

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

Knowledge Representation and Planning

• Blai Bonet, Hector Geffner: Heuristics for Planning with Penalties and Rewards using Compiled Knowledge. 452-462
• 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
• Marco Ragni, Stefan Wölfl: Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning. 472-480
• Tran Cao Son, Phan Huy Tu: On the Completeness of Approximation Based Reasoning and Planning in Action Theories with Incomplete Information. 481-491
• Jorge A. Baier, Sheila A. McIlraith: On Planning with Programs that Sense. 492-502
• Robert Feldmann, Gerhard Brewka, Sandro Wenzel: Planning with Prioritized Goals. 503-514