Papers
Towards Fast Algorithms for the Preference Consistency Problem Based on Hierarchical Models
Anne-Marie George, Nic Wilson, Barry O’Sullivan
Trend-Based Prediction of Spatial Change
Xiaoyu Ge, Jae Hee Lee, Jochen Renz et al.
Forgetting in Multi-Agent Modal Logics
Liangda Fang, Yongmei Liu, Hans van Ditmarsch
Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access
Thomas Eiter, Tobias Kaminski, Christoph Redl et al.
Investigating the Relationship between Argumentation Semantics via Signatures
Paul E. Dunne, Christof Spanring, Thomas Linsbichler et al.
LTL
f
Imperfect-Information Games and Generalized Planning
Giuseppe De Giacomo, Aniello Murano, Sasha Rubin et al.
On the Impact of Modal Depth in Epistemic Planning
Tristan Charrier, Bastien Maubert, Francçois Schwarzentruber
Plan Synthesis for Knowledge and Action Bases
Diego Calvanese, Marco Montali, Fabio Patrizi et al.
An ASP Semantics for Default Reasoning with Constraints
Pedro Cabalar, Roland Kaminski, Max Ostrowski et al.
Knowledge Compilation Meets Communication Complexity
Simone Bova, Florent Capelli, Stefan Mengel et al.
Preferential Query Answering over the Semantic Web with Possibilistic Networks
Stefan Borgwardt, Bettina Fazzinga, Thomas Lukasiewicz et al.
Extending the Harper Identity to Iterated Belief Change
Richard Booth, Jake Chandler
ASP for Anytime Dynamic Programming on Tree Decompositions
Bernhard Bliem, Benjamin Kaufmann, Torsten Schaub et al.
Automated Synthesis of Timed Failure Propagation Graphs
Benjamin Bittner, Marco Bozzano, Alessandro Cimatti
First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics
Meghyn Bienvenu, Peter Hansen, Carsten Lutz et al.
Query-Driven Repairing of Inconsistent DL-Lite Knowledge Bases
Meghyn Bienvenu, Camille Bourgaux, François Goasdoué
Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau
Matteo Bertello, Nicola Gigante, Angelo Montanari et al.
Ontology-Mediated Queries Distributing over Components
Gerald Berger, Andreas Pieris
The Inconsistency in Gödel’s Ontological Argument: A Success Story for AI in Metaphysics
Christoph Benzmüller, Bruno Woltzenlogel Paleo
Equivalent Stream Reasoning Programs
Harald Beck, Minh Dao-Tran, Thomas Eiter
Online Agent Supervision in the Situation Calculus
Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
On the Relationship between P-log and LP
Evgenii Balai, Michael Gelfond
Incomplete Causal Laws in the Situation Calculus Using Free Fluents
Marcelo Arenas, Jorge A. Baier, Juan S. Navarro et al.