Accepted Papers

The peer review process has been completed and notifications to authors sent. 50 papers have been accepted out of 210 submissions. Many thanks to the KR2006 Program Chairs, Program Committee and special reviewers for their efforts. Congratulations to all the successful authors!

Semantics for Dynamic Syntactic Epistemic Logics
by Thomas Agotnes, Natasha Alechina
Non-deterministic semantics for first-order paraconsistent logics
by Arnon Avron, Anna Zamansky
On planning with programs that sense
by Jorge Baier, Sheila McIlraith
Lack of simple characterizations for the distance-based revision
by Jonathan Ben-Naim
A Theory of Vague Adjectives Grounded in Relevant Observables
by Brandon Bennett
Knowledgebase compilation for efficient logical argumentation
by Philippe Besnard, Anthony Hunter
Qualitative Temporal Preferences in the Situation Calculus
by Meghyn Bienvenu, Christian Fritz, Sheila McIlraith
Expressive Non-Monotonic Description Logics Based on Circumscription
by Piero Bonatti, Carsten Lutz, Frank Wolter
Heuristics for Planning with Simple Preferences using Compiled Knowledge
by Blai Bonet, Hector Geffner
A Bad Day Surfing is Better than a Good Day Working: How to Revise a Total Preorder
by Richard Booth, Thomas Meyer, Ka-Shu Wong
Logical Foundations of Well-Founded Semantics
by Pedro Cabalar, Sergei Odintsov, David Pearce
Data Complexity of Query Answering in Description Logics
by Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
Expressive Power of Weighted Propositional Formulas for Cardinal Preference Modelling
by Yann Chevaleyre, Ulle Endriss, Jerome Lang
Constrained Argumentation Frameworks
by Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis
Representing Policies for Quantified Boolean Formulas
by Sylvie Coste-Marquis, Helene Fargier, Jerome Lang, Daniel Le Berre, Pierre Marquis
A tree decomposition algorithm for Conceptual Graph projection
by Madalina Croitoru, Ernesto Compatangelo
Modularity and Web Ontologies
by Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin, Aditya Kalyanpur
Iterated revision as prioritized merging
by James Delgrande, Didier Dubois, Jerome Lang
Qualitative decision making with bipolar information
by Didier Dubois, Helene Fargier
Possibilistic handling of uncertain default rules
by Florence Dupin de Saint-Cyr, Henri Prade
Replacements in Non-Ground Answer-Set Programming
by Thomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, Stefan Woltran
Actions as Special Cases
by Selim Erdogan, Vladimir Lifschitz
Planning with Prioritized Goals
by R. Feldmann, G. Brewka
Compiling Qualitative Preferences into Decision-Theoretic Golog Programs
by Christian Fritz, Sheila McIlraith
Grounding and the expression of belief
by Benoit Gaudou, Andreas Herzig, Dominique Longin
Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics
by Silvio Ghilardi, Carsten Lutz, Frank Wolter
Redoing the Foundations of Decision Theory
by Joseph Halpern, Larry Blume, David Easley
Shapley Inconsistency Values
by Anthony Hunter, S�bastien Konieczny
Semantical considerations for a logic of actions: an imperative manifesto
by Victor Jauregui
Probabilistic abduction without priors
by Gabriele Kern-Isberner, Didier Dubois, Angelo Gilio
The Even More Irresistible SROIQ
by Oliver Kutz, Ian Horrocks, Ulrike Sattler
Foundations for Knowledge-Based Programs using ES
by Gerhard Lakemeyer, Jens Cla�en
First-Order Loop Formulas for Normal Logic Programs
by Fangzhen Lin, Yin Chen, Yisong Wang, Mingyi Zhang
Updating Description Logic ABoxes
by Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter
Variable-Strength Conditional Preferences for Matchmaking in Description Logics
by Thomas Lukasiewicz, Joerg Schellhase
Definitorially Complete Description Logics
by Maarten Marx, Willem Conradi, Balder Ten Cate
Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning
by Marco Ragni, Stefan W�lfl
Abductive Visual Perception with Feature Clouds
by D. Randell, M. Witkowski
Reasoning About Knowledge of Unawareness
by Leandro Rego, Joseph Halpern
DL+log: Tight Integration of Description Logics and Disjunctive Datalog
by Riccardo Rosati
An Ordered Theory Resolution Calculus for Hybrid Reasoning in First-order Extensions of DLs
by Scott Sanner, Sheila McIlraith
Action, Belief, and Minimal Change
by Richard Scherl
On the Limits of Planning over Belief States under Strict Uncertainty
by Sardina Sebastian, Hector Levesque, Giuseppe De Giacomo, Yves Lesperance
From Wine to Water: Optimizing Description Logic Reasoning for Nominals
by Evren Sirin, Bernardo Cuenca Grau, Bijan Parsia
Query Answering under the Any-World Assumption for Normal Logic Programs
by Umberto Straccia
The Features-and-Fluents Semantics for the Fluent Calculus
by Michael Thielscher, Thomas Witkowski
On the Completeness of Approximation Based Reasoning and Planning
by Son Tran, Tu Phan
Strong and uniform equivalence of nonmonotonic theories - an algebraic approach
by Mirek Truszczynski
Propositional DAGs: a New Graph-Based Language for Representing Boolean Functions
by Michael Wachter, Rolf Haenni
Computational Properties of Epistemic Logic Programs
by Yan Zhang