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

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-328
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

Last update Thu May 23 02:39:33 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page