Papers
Belief Change in a Preferential Non-monotonic Framework
Giovanni Casini, Thomas Meyer
Restricted Chase (Non)Termination for Existential Rules with Disjunctions
David Carral, Irina Dragoste, Markus Krötzsch
Budget-Constrained Dynamics in Multiagent Systems
Rui Cao, Pavel Naumov
Classical Generalized Probabilistic Satisfiability
Carlos Caleiro, Filipe Casal, Andreia Mordido
Strong Inconsistency in Nonmonotonic Reasoning
Gerhard Brewka, Matthias Thimm, Markus Ulbricht
Manipulating Opinion Diffusion in Social Networks
Robert Bredereck, Edith Elkind
On Coalitional Manipulation for Multiwinner Elections: Shortlisting
Robert Bredereck, Andrzej Kaczmarczyk, Rolf Niedermeier
Making Cross Products and Guarded Ontology Languages Compatible
Pierre Bourhis, Michael Morak, Andreas Pieris
Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints
Blai Bonet, Giuseppe De Giacomo, Hector Geffner et al.
Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory
Bart Bogaerts, Luís Cruz-Filipe
Safe Inductions: An Algebraic Study
Bart Bogaerts, Joost Vennekens, Marc Denecker
The Impact of Treewidth on ASP Grounding and Solving
Bernhard Bliem, Marius Moldovan, Michael Morak et al.
Ontology-Mediated Query Answering for Key-Value Stores
Meghyn Bienvenu, Pierre Bourhis, Marie-Laure Mugnier et al.
Reformulating Queries: Theory and Practice
Michael Benedikt, Egor V. Kostylev, Fabio Mogavero et al.
Reasoning about Probabilities in Unbounded First-Order Dynamical Domains
Vaishak Belle, Gerhard Lakemeyer
Dynamic Logic for Data-aware Systems: Decidability Results
Francesco Belardinelli, Andreas Herzig
A Model for Accountable Ordinal Sorting
Khaled Belahcene, Christophe Labreuche, Nicolas Maudet et al.
A Study of Unrestricted Abstract Argumentation Frameworks
Ringo Baumann, Christof Spanring
A General Notion of Equivalence for Abstract Argumentation
Ringo Baumann, Wolfgang Dvořák, Thomas Linsbichler et al.
Answering Conjunctive Regular Path Queries over Guarded Existential Rules
Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier et al.
Query Rewriting for DL-Lite with n-ary Concrete Domains
Franz Baader, Stefan Borgwardt, Marcel Lippmann
Weakening Covert Networks by Minimizing Inverse Geodesic Length
Haris Aziz, Serge Gaspers, Kamran Najeebullah
Epistemic-entrenchment Characterization of Parikh’s Axiom
Theofanis Aravanis, Pavlos Peppas, Mary-Anne Williams
On the Computational Complexity of Gossip Protocols
Krzysztof R. Apt, Eryk Kopczyński, Dominik Wojtczak
Player Movement Models for Video Game Level Generation
Sam Snodgrass, Santiago Ontañón