• 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 Eleventh International Conference (KR2008) /

Book One

Contents

  • Additional Reviewers

    Gerhard Brewka, Jérôme Lang

    PDF
  • Preface

    Gerhard Brewka, Jérôme Lang

    PDF
  • Relational Preference Rules for Control

    Ronen Brafman

    PDF
  • Reasoning about Qualitative Preferences and Cardinalities using Generalizaed Circumscription

    Patrick Doherty, Andrzej Szalas

    PDF
  • Preference Modeling by Weighted Goals with Max Aggregation

    Joel Uckelman, Ulle Endriss

    PDF
  • A Logic for Non-Terminating Golog Programs

    Jens Classen, Gerhard Lakemeyer

    PDF
  • ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond

    Christian Fritz, Jorge A. Baier, Sheila A. McIlraith

    PDF
  • Complex Epistemic Modalities in the Situation Calculus

    Ryan F. Kelly, Adrian R. Pearce

    PDF
  • Proving Goal Achievability

    Fangzhen Lin

    PDF
  • Cartesian Situations and Knowledge Decomposition in the Situation Calculus

    Ronald P A Petrick

    PDF
  • Behavior Composition in the Presence of Failure

    Sebastian Sardina, Fabio Patrizi, Giuseppe De Giacomo

    PDF
  • Action Theory Contraction and Minimal Change

    Ivan J. Varzinczak

    PDF
  • First-Order Strong Progression for Local-Effect Basic Action Theories

    Stavros Vassos, Gerhard Lakemeyer, Hector J. Levesque

    PDF
  • Formalising Temporal Constraints on Part-Whole Relations

    Alessandro Artale, Nicola Guarino, Maria Keet

    PDF
  • LTL over Description Logic Axioms

    Franz Baader, Franz Baader, Silvio Ghilardi, Carsten Lutz

    PDF
  • Time Representation and Temporal Reasoning from the Perspective of Non-Standard Analysis

    Philippe Balbiani

    PDF
  • A Complete First-Order Logic of Knowledge and Time

    Francesco Belardinelli, Alessio Lomuscio

    PDF
  • Automated Complexity Proofs for Qualitative Spatial and Temporal Calculi

    Jochen Renz, Jason Jingshi Li

    PDF
  • Identifying Objects Over Time with Description Logics

    David Toman, Grant Weddell

    PDF
  • Index
    PDF
  • Conference Committee

    Gerhard Brewka, Jérôme Lang

    PDF
  • Program Committee

    Gerhard Brewka, Jérôme Lang

    PDF
  • Conflict-Based Merging Operators

    Patricia Everaere, Sébastien Konieczny, Pierre Marquis

    PDF
  • Measuring Inconsistency through Minimal Inconsistent Sets

    Anthony Hunter, Sébastien Konieczny

    PDF
  • An Abstract Argumentation Framework with Varied-strength Attacks

    Diego C Martinez, Alejandro J. Garcia, Guillermo R. Simari

    PDF
  • A First Experimental Demonstration of Massive Knowledge Infusion

    Loizos Michael, Leslie G. Valiant

    PDF
  • A Principled Framework for Modular Web Rule Bases and its Semantics

    Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damasio

    PDF
  • Computing Loops With at Most One External Support Rule

    Xiaoping Chen, Jianmin Ji, Fangzhen Lin

    PDF
  • Belief Revision of Logic Programs under Answer Set Semantics

    James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran

    PDF
  • Conflict-Driven Disjunctive Answer Set Solving

    Christian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne König, Max Ostrowski, Torsten Schaub

    PDF
  • Notions of Strong Equivalence for Logic Programs with Ordered Disjunction

    Wolfgang Faber, Hans Tompits, Stefan Woltran

    PDF
  • On Loop Formulas with Variables

    Joohyung Lee, Yunsong Meng

    PDF
  • Answer Set Programming with Functions

    Fangzhen Lin, Yisong Wang

    PDF
  • Default Theory of Defeasible Entailment

    Alexander Bochman

    PDF
  • Semantic Preferential Subsumption

    Katarina Britz, Johannes Heidema, Thomas Meyer

    PDF
  • Embedding Approaches to Combining Rules and Ontologies into Autoepistemic Logic

    Jos de Bruijn, Thomas Eiter, Hans Tompits

    PDF
  • Computing Default Extensions by Reductions on $O^R$

    Espen H. Lian, Arild Waaler

    PDF
  • A Lexicographic Inference for Partially Preordered Belief Bases

    Safa Yahi, Salem Benferhat, Sylvain Lagrue, Odile Papini, Maryette Sérayt

    PDF
  • On the Complexity of Planning Operator Subsumption

    Patrick Eyerich, Michael Brenner, Bernhard Nebel

    PDF
  • Deductive Planning with Inductive Loops

    Martin Magnusson, Patrick Doherty

    PDF
  • Planning Graphs and Propositional Clause-Learning

    Jussi Rintanen

    PDF
  • On the Relative Expressiveness of ADL and Golog: The Last Piece in the Puzzle

    Gabriele Roeger, Malte Helmert, Bernhard Nebel

    PDF
  • Inconsistency Management Policies

    Maria V Martinez, Francesco Parisi, Andrea Pugliese, Gerardo I. Simari, V.S. Subrahmanian

    PDF
  • Equilibria in social belief removal

    Richard Booth, Thomas Meyer

    PDF
  • Horn Clause Belief Change: Contraction Functions

    James Delgrande

    PDF
  • Linking Iterated Belief Change Operations to Nonmonotonic Reasoning

    Gabriele Kern-Isberner

    PDF
  • Improvement Operators

    Sébastien Konieczny, Ramon Pino Pérez

    PDF
  • Scenario Update Applied to Causal Reasoning

    Florence Dupin de Saint-Cyr

    PDF
  • Defaults and Normality in Causal Structures

    Joseph Halpern

    PDF
  • On Notions of Causality and Distributed Knowledge

    Ron van der Meyden

    PDF
  • Compexity of Abduction in the EL Family of Lightweight Description Logics

    Meghyn Bienvenu

    PDF
  • Path-based Identification Constraints in Description Logics

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

    PDF
  • View-based Query Answering over Description Logic Ontologies

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

    PDF
  • Unions of Conjunctive Queries in SHOQ

    Birte Glimm, Ian Horrocks, Ulrike Sattler

    PDF
  • Model-Theoretic Characterization of Asher and Vieu’s Ontology of Mereotopology

    Torsten Hahmann, Michael Gruninger

    PDF
  • RIQ and SROIQ are Harder than SHOIQ

    Yevgeny Kazakov

    PDF
  • Can you Tell the Difference between DL-Lite Ontologies?

    Roman Kontchakov, Frank Wolter, Michael Zakharyaschev

    PDF
  • Representing Structured Objects using Description Graphs

    Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler

    PDF
  • How Many Toes Do I Have? Parthood and Number Restrictions in Description Logics

    Lutz Schröder, Dirk Pattinson

    PDF
  • Ontology Generation through the Fusion of Partial Reuse and Relation Extraction

    Nwe Ni Tun, Jin Song Dong

    PDF
  • Peer-to-peer Query Answering with Inconsistent Knowledge

    Arnold Binas, Sheila A. McIlraith

    PDF
  • How to Choose Weightings to Avoid Collisions in a Restricted Penalty Logic

    Nathalie Chetcuti-Sperandio, Sylvain Lagrue

    PDF
  • Preferences, Planning, and Control

    Ronen Brafman

    PDF
  • Beyond Nash Equilibrium: Solution Concepts for the 21st Century

    Joseph Y. Halpern

    PDF
  • Reasoning About Agent Deliberation

    Natasha Alechina, Mehdi Dastani, Brian Logan, John Jules Ch. Meyer

    PDF
  • A Logical Framework to Represent and Reason about Graded Preferences and Intentions.

    Ana Casali, Lluís Godo, Carles Sierra

    PDF
  • A logical account of institutions: from acceptances to norms via legislators

    Emiliano Lorini, Dominique Longin

    PDF
  • Dynamic Logic on Games with Structured Strategies

    R. Ramanujam, Sunil Simon

    PDF
  • Promises Kept, Promises Broken: An Axiomatic and Quantitative Treatment of Fulfillment

    Gerardo I Simari, Matthias Broecheler, V.S. Subrahmanian, Sarit Kraus

    PDF
  • Taming the Infinite Chase: Query Answering under Expressive Relational Constraints

    Andrea Cali, Georg Gottlob, Michael Kifer

    PDF
  • Accuracy and Efficiency of Fixpoint Methods for Approximate Query Answering in Locally Complete Databases

    Álvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe

    PDF
  • Injecting the How into the What: Investigating a Finite Classical Logic

    Timothy L. Hinrichs, Michael R. Genesereth

    PDF
  • Approximate Reasoning in First-Order Logic Theories

    Johan Wittocx, Maarten Mariën, Marc Denecker

    PDF
  • Making decisions through preference-based argumentation

    Leila Amgoud, Yannis Dimopoulos, Pavlos Moraitis

    PDF
  • Revision of an Argumentation System

    Claudette Cayrol, Florence Dupin de Saint-Cyr, Marie-Christine Lagasquie-Schiex

    PDF

Primary Sidebar