Book One

Contents

• On the Completeness of Approximation Based Reasoning and Planning in Action Theories with Incomplete Information

  Tran Son, Phan Huy Tu

  PDF

• On Planning with Programs that Sense

  Jorge A. Baier, Sheila A. McIlraith

  PDF

• Planning with Prioritized Goals

  Robert Feldmann, Gerhard Brewka, Sandro Wenzel

  PDF

• Index

  David Hamilton

  PDF

• Conference Committee

  Patrick Doherty, John Mylopoulos, and Christopher Welty

  PDF

• Program Committee

  Patrick Doherty, John Mylopoulos, and Christopher Welty

  PDF

• Preface

  Patrick Doherty, John Mylopoulos, and Christopher Welty

  PDF

• Propositional DAGs: a New Graph-Based Language for Representing Boolean Functions

  Michael Wachter, Rolf Haenni

  PDF

• Representing Policies for Quantified Boolean Formulae

  Sylvie Coste-Marquis, Helene Fargier, Jerome Lang, Daniel Le Berre, Pierre Marquis

  PDF

• First-Order Loop Formulas for Normal Logic Programs

  Yin Chen, Fangzhen Lin, Yisong Wang, Mingyi Zhang

  PDF

• Computational Properties of Epistemic Logic Programs

  Yan Zhang

  PDF

• Foundations for Knowledge-Based Programs using ES

  Jens Claßen and Gerhard Lakemeyer

  PDF

• Query Answering under the Any-World Assumption for Normal Logic Programs

  Umberto Straccia

  PDF

• Replacements in Non-Ground Answer-Set Programming

  Thomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, Stefan Woltran

  PDF

• Abductive Visual Perception with Feature Clouds

  David Randell, Mark Witkowski

  PDF

• The Features-and-Fluents Semantics for the Fluent Calculus

  Michael Thielscher, Thomas Witkowski

  PDF

• Semantical Considerations for a Logic of Actions: An Imperative Manifesto

  Victor Jauregui

  PDF

• Actions as Special Cases

  Selim T. Erdoğan, Vladimir Lifschitz

  PDF

• Strong and Uniform Equivalence of Nonmonotonic Theories — An Algebraic Approach

  Miroslaw Truszczynski

  PDF

• Description Logics with Circumscription

  Bonatti Piero, Carsten Lutz, Frank Wolter

  PDF

• Semantics for Dynamic Syntactic Epistemic Logics

  Thomas Agotnes, Natasha Alechina

  PDF

• Probabilistic Abduction without Priors

  Didier Dubois, Angelo Gilio, and Gabriele Kern-Isberner

  PDF

• Non-Deterministic Semantics for First-order Paraconsistent Logics

  Anna Zamansky, Arnon Avron

  PDF

• Possibilistic Handling of Uncertain Default Rules with Applications to Persistence Modeling and Fuzzy Default Reasoning

  Florence Dupin de Saint-Cyr, Henri Prade

  PDF

• Heuristics for Planning with Penalties and Rewards Using Compiled Knowledge

  Blai Bonet, Hector Geffner

  PDF

• On the Limits of Planning over Belief States under Strict Uncertainty

  Sebastian Sardina, Giuseppe De Giacomo, Yves Lesperance, Hector Levesque

  PDF

• Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning

  Marco Ragni and Stefan Wölfl

  PDF

• DL+log: Tight Integration of Description Logics and Disjunctive Datalog

  Riccardo Rosati

  PDF

• Definitorially Complete Description Logics

  Balder ten Cate, Willem Conradie, Maarten Marx, Yde Venema

  PDF

• From Wine to Water: Optimizing Description Logic Reasoning for Nominals

  Evren Sirin, Bernardo Cuenca Grau, Bijan Parsia

  PDF

• An Ordered Theory Resolution Calculus for Hybrid Reasoning in First-order Extensions of Description Logic

  Scott Sanner, Sheila McIlraith

  PDF

• Constrained Argumentation Frameworks

  Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis

  PDF

• Knowledgebase Compilation for Efficient Logical Argumentation

  Philippe Besnard, Anthony Hunter

  PDF

• Planning with Qualitative Temporal Preferences

  Meghyn Bienvenu, Christian Fritz, and Sheila A. McIlraith

  PDF

• Expressive Power of Weighted Propositional Formulas for Cardinal Preference Modeling

  Ulle Endriss, Jerôme Lang, Yann Chevaleyre

  PDF

• Decision-Theoretic GOLOG with Qualitative Preferences

  Christian Fritz, Sheila A. McIlraith

  PDF

• Variable-Strength Conditional Preferences for Matchmaking in Description Logics

  Thomas Lukasiewicz, Jörg Schellhase

  PDF

• Qualitative Decision Making with Bipolar Information

  Didier Dubois, Helene Fargier

  PDF

• Did I Damage my Ontology: A Case for Conservative Extensions in Description Logic

  Ghilardi Silvio, Carsten Lutz, Frank Wolter

  PDF

• Modularity and Web Ontologies

  Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin, Aditya Kalyanpur

  PDF

• Iterated Revision as Prioritized Merging

  James Delgrande, Didier Dubois, and Jérôme Lang

  PDF

• Grounding and the Expression of Belief

  Benoit Gaudou, Andreas Herzig, Dominique Longin

  PDF

• A Bad Day Surfing is Better than a Good Day Working: How to Revise a Total Preorder

  Richard Booth, Thomas Meyer, Ka-Shu Wong

  PDF

• Lack of Finite Characterizations for the Distance-based Revision

  Jonathan Ben-Naim

  PDF

• Shapley Inconsistency Values

  Anthony Hunter, Sébastien Konieczny

  PDF

• Data Complexity of Query Answering in Description Logics

  Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati

  PDF

• A Tree Decomposition Algorithm for Conceptual Graph Projection

  Madalina Croitoru, Ernesto Compatangelo

  PDF

• Contents

  PDF

• On Mechanisation of Thought Processes

  Jon Doyle

  PDF

• Dataspaces: Coexistence with Heterogeneity

  Alon Halevy, David Maier, Michael Franklin

  PDF

• Users Are Always Right—Even When They Are Wrong: Making Knowledge Representation Useful and Usable

  Alan L. Rector

  PDF

• Reasoning About Knowledge of Unawareness

  Joseph Y. Halpern, Leandro C. Rego

  PDF

• Redoing the Foundations of Decision Theory

  Lawrence E. Blume, Daid A. Easkey, and Joseph Y. Halpern

  PDF

• Logical Foundations of Well-Founded Semantics

  Pedro Cabalar, Sergei Odintsov, David Pearce

  PDF

• A Theory of Vague Adjectives Grounded in Relevant Observables

  Brandon Bennett

  PDF

• Updated Description Logic ABoxes

  Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter

  PDF

• The Even More Irresistible SROIQ

  Ian Horrocks, Oliver Kutz, Ulrike Sattler

  PDF