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