• Skip to main content
  • Skip to primary sidebar
AAAI

AAAI

Association for the Advancement of Artificial Intelligence

    • AAAI

      AAAI

      Association for the Advancement of Artificial Intelligence

  • About AAAIAbout AAAI
    • AAAI Officers and Committees
    • AAAI Staff
    • Bylaws of AAAI
    • AAAI Awards
      • Fellows Program
      • Classic Paper Award
      • Dissertation Award
      • Distinguished Service Award
      • Allen Newell Award
      • Outstanding Paper Award
      • Award for Artificial Intelligence for the Benefit of Humanity
      • Feigenbaum Prize
      • Patrick Henry Winston Outstanding Educator Award
      • Engelmore Award
      • AAAI ISEF Awards
      • Senior Member Status
      • Conference Awards
    • AAAI Resources
    • AAAI Mailing Lists
    • Past AAAI Presidential Addresses
    • Presidential Panel on Long-Term AI Futures
    • Past AAAI Policy Reports
      • A Report to ARPA on Twenty-First Century Intelligent Systems
      • The Role of Intelligent Systems in the National Information Infrastructure
    • AAAI Logos
    • News
  • aaai-icon_ethics-diversity-line-yellowEthics & Diversity
  • Conference talk bubbleConferences & Symposia
    • AAAI Conference
    • AIES AAAI/ACM
    • AIIDE
    • IAAI
    • ICWSM
    • HCOMP
    • Spring Symposia
    • Summer Symposia
    • Fall Symposia
    • Code of Conduct for Conferences and Events
  • PublicationsPublications
    • AAAI Press
    • AI Magazine
    • Conference Proceedings
    • AAAI Publication Policies & Guidelines
    • Request to Reproduce Copyrighted Materials
  • aaai-icon_ai-magazine-line-yellowAI Magazine
    • Issues and Articles
    • Author Guidelines
    • Editorial Focus
  • MembershipMembership
    • Member Login
    • Developing Country List
    • AAAI Chapter Program

  • Career CenterCareer Center
  • aaai-icon_ai-topics-line-yellowAITopics
  • aaai-icon_contact-line-yellowContact

Home / Proceedings / Principles of Knowledge Representation and Reasoning: Proceedings of the Tenth International Conference (KR2006) /

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

Primary Sidebar