KR 2008 Accepted Papers

The list of accepted papers is also available in text format and as a pdf file.

Invited Keynote Presentations

  • Preferences, Planning and Control. Ronen I. Brafman

  • Beyond Nash Equilibrium: Solution Concepts for the 21st Century. Joseph Y. Halpern
  • Agents and Multiagent Systems

  • Reasoning about Agent Deliberation. Natasha Alechina, Mehdi Dastani, Brian S. Logan, John-Jules Ch. Meyer

  • A Logical Framework to Represent and Reason about Graded Preferences and Intentions. Ana Casali, Lluís Godo, Carles Sierra

  • A Logical Account of Institutions: From Acceptances to Norms via Legislators. Emiliano Lorini, Dominique Longin

  • Dynamic Logic on Games with Structured Strategies. R. Ramanujam, Sunil Easaw Simon

  • Promises Kept, Promises Broken: An Axiomatic and Quantitative Treatment of Fulfillment. Gerardo I. Simari, Matthias Broecheler, V.S. Subrahmanian, Sarit Kraus
  • Approximate Reasoning / Query Answering

  • Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. Andrea Cali, Georg Gottlob, Michael Kifer

  • Accuracy and Efficiency of Fixpoint Methods for Approximate Query Answering in Locally Complete Databases. Álvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe

  • Injecting the How into the What: Investigating a Finite Classical Logic. Timothy L. Hinrichs, Michael R. Genesereth

  • Approximate Reasoning in First-Order Logic Theories. Johan Wittocx, Maarten Mariën, Marc Denecker
  • Argumentation

  • Making Decisions through Preference-Based Argumentation. Leila Amgoud, Yannis Dimopoulos, Pavlos Moraitis

  • Revision of an Argumentation System. Claudette Cayrol, Florence Dupin de Saint-Cyr, Marie-Christine Lagasquie-Schiex

  • An Abstract Argumentation Framework with Varied-Strength Attacks. Diego C. Martínez, Alejandro J. Garcia, Guillermo R. Simari
  • Belief Change

  • Equilibria in Social Belief Removal. Richard Booth, Thomas Meyer

  • Horn Clause Belief Change: Contraction Functions. James P. Delgrande

  • Linking Iterated Belief Change Operations to Nonmonotonic Reasoning. Gabriele Kern-Isberner

  • Improvement Operators. Sébastien Konieczny and Ramon Pino Perez
  • Causal Reasoning

  • Scenario Update Applied to Causal Reasoning. Florence Dupin de Saint-Cyr

  • Defaults and Normality in Causal Structures. Joseph Y. Halpern

  • On Notions of Causality and Distributed Knowledge. Ron van der Meyden
  • Description Logics / Ontologies

  • Complexity of Abduction in the EL Family of Lightweight Description Logics. Meghyn Bienvenu

  • Path-Based Identification Constraints in Description Logics. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati

  • View-Based Query Answering over Description Logic Ontologies. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati

  • Unions of Conjunctive Queries in SHOQ. Birte Glimm, Ian Horrocks, Ulrike Sattler

  • Model-Theoretic Characterization of Asher and Vieu's Ontology of Mereotopology. Torsten Hahmann, Michael Gruninger

  • RIQ and SROIQ Are Harder than SHOIQ. Yevgeny Kazakov

  • Can You Tell the Difference Between DL-Lite Ontologies? Roman Kontchakov, Frank Wolter, Michael Zakharyaschev

  • Representing Structured Objects using Description Graphs. Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler

  • How Many Toes Do I Have? Parthood and Number Restrictions in Description Logics. Lutz Schröder, Dirk Pattinson

  • Ontology Generation through the Fusion of Partial Reuse and Relation Extraction. Nwe Ni Tun, Jin Song Dong
  • Inconsistency Handling

  • Peer-to-Peer Query Answering with Inconsistent Knowledge. Arnold Binas, Sheila A. McIlraith

  • How to Choose Weightings to Avoid Collisions in a Restricted Penalty Logic. Nathalie Chetcuti-Sperandio, Sylvain Lagrue

  • Conflict-Based Merging Operators. Patricia Everaere, Sébastien Konieczny, Pierre Marquis

  • Measuring Inconsistency through Minimal Inconsistent Sets. Anthony Hunter, Sébastien Konieczny

  • Inconsistency Management Policies. Maria Vanina Martinez, Francesco Parisi, Andrea Pugliese, Gerardo I. Simari, V. S. Subrahmanian
  • KR and Machine Learning

  • A First Experimental Demonstration of Massive Knowledge Infusion. Loizos Michael, Leslie G. Valiant
  • Logic Programming / Answer Sets

  • A Principled Framework for Modular Web Rule Bases and Its Semantics. Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damasio

  • Computing Loops with at Most One External Support Rule. Xiaoping Chen, Jianmin Ji, Fangzhen Lin

  • Belief Revision of Logic Programs under Answer Set Semantics. James Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran

  • Conflict-Driven Disjunctive Answer Set Solving. Christian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne Koenig, Max Ostrowski, Torsten Schaub

  • Notions of Strong Equivalence for Logic Programs with Ordered Disjunction. Wolfgang Faber, Hans Tompits, Stefan Woltran

  • On Loop Formulas with Variables. Joohyung Lee, Yunsong Meng

  • Answer Set Programming with Functions. Fangzhen Lin, Yisong Wang
  • Nonmonotonic Reasoning

  • Default Theory of Defeasible Entailment. Alexander Bochman

  • Semantic Preferential Subsumption. Katarina Britz, Johannes Heidema, Thomas Meyer

  • Embedding Approaches to Combining Rules and Ontologies into Autoepistemic Logic. Jos de Bruijn, Thomas Eiter, Hans Tompits

  • Computing Default Extensions by Reductions on OR. Espen H. Lian, Arild Waaler

  • A Lexicographic Inference for Partially Preordered Belief Bases. Safa Yahi, Salem Benferhat, Sylvain Lagrue, Mariette Sérayet, Odile Papini
  • Planning

  • On the Complexity of Planning Operator Subsumption. Patrick Eyerich, Michael Brenner, Bernhard Nebel

  • Deductive Planning with Inductive Loops. Martin Magnusson, Patrick Doherty

  • Planning Graphs and Propositional Clause-Learning. Jussi Rintanen

  • On the Relative Expressiveness of ADL and Golog: The Last Piece in the Puzzle. Gabriele Röger, Malte Helmert, Bernhard Nebel
  • Preferences

  • Relational Preference Rules for Control. Ronen I. Brafman

  • Reasoning with Qualitative Preferences and Cardinalities using Generalized Circumscription. Patrick Doherty, Andrzej Szalas

  • Dealing with Incomplete Agents' Preferences and an Uncertain Agenda in Group Decision Making via Sequential Majority Voting. Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh

  • Preference Modeling by Weighted Goals with Max Aggregation. Joel Uckelman, Ulle Endriss
  • Reasoning about Action

  • A Logic for Non-Terminating Golog Programs. Jens Classen, Gerhard Lakemeyer

  • ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond. Christian Fritz, Jorge A. Baier, Sheila A. McIlraith

  • Complex Epistemic Modalities in the Situation Calculus. Ryan F. Kelly, Adrian R. Pearce

  • Proving Goal Achievability. Fangzhen Lin

  • Cartesian Situations and Knowledge Decomposition in the Situation Calculus. Ronald P. A. Petrick

  • Behavior Composition in the Presence of Failure. Sebastian Sardina, Fabio Patrizi, Giuseppe De Giacomo

  • Action Theory Contraction and Minimal Change. Ivan Jose Varzinczak

  • First-Order Strong Progression for Local-Effect Basic Action Theories. Stavros Vassos, Gerhard Lakemeyer, Hector J. Levesque
  • Temporal and Spatial Reasoning

  • Formalising Temporal Constraints on Part-Whole Relations. Alessandro Artale, Nicola Guarino, C. Maria Keet

  • LTL over Description Logic Axioms. Franz Baader, Silvio Ghilardi, Carsten Lutz

  • Time Representation and Temporal Reasoning from the Perspective of Non-Standard Analysis. Philippe Balbiani

  • A Complete First-Order Logic of Knowledge and Time. Francesco Belardinelli, Alessio Lomuscio

  • Automated Complexity Proofs for Qualitative Spatial and Temporal Calculi. Jochen Renz, Jason Jingshi Li

  • Identifying Objects Over Time with Description Logics. David Toman, Grant Weddell
  •