Papers
Object-Relational Queries over CFDI
Jason St. Jacques, David Toman, Grant Weddell
Efficient Sequential Model-Based Fault-Localization with Partial Diagnoses
Kostyantyn Shchekotykhin, Thomas Schmitz, Dietmar Jannach
Normative Practical Reasoning via Argumentation and Dialogue
Zohreh Shams, Marina De Vos, Nir Oren et al.
Is Promoting Beliefs Useful to Make Them Accepted in Networks of Agents?
Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne et al.
Expressivity of Datalog Variants — Completing the Picture
Sebastian Rudolph, Michaël Thomazo
Efficient Representations for the Modal Logic S5
Alexandre Niveau, Bruno Zanuttini
Optimal Status Enforcement in Abstract Argumentation
Andreas Niskanen, Johannes P. Wallner, Matti Järvisalo
Belief Update for Proper Epistemic Knowledge Bases
Tim Miller, Christian Muise
Efficient Path Consistency Algorithm for Large Qualitative Constraint Networks
Zhiguo Long, Michael Sioutis, Sanjiang Li
A Decision Procedure for a Fragment of Linear Time Mu-Calculus
Yao Liu, Zhenhua Duan, Cong Tian
Exploring the Context of Locations for Personalized Location Recommendations
Xin Liu, Yong Liu, Xiaoli Li
Constraint Answer Set Programming versus Satisfiability Modulo Theories
Yuliya Lierler, Benjamin Susman
Answering Metaqueries over Hi (OWL 2 QL) Ontologies
Maurizio Lenzerini, Lorenzo Lepore, Antonella Poggi
Learning Possibilistic Logic Theories from Default Rules
Ondřej Kuželka, Jesse Davis, Steven Schockaert
Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic
Roman Kontchakov, Laura Pandolfo, Luca Pulina et al.
Conservative Rewritability of Description Logic TBoxes
Boris Konev, Carsten Lutz, Frank Wolter et al.
Question Answering via Integer Programming over Semi-Structured Knowledge
Daniel Khashabi, Tushar Khot, Ashish Sabharwal et al.
Epistemic GDL: A Logic for Representing and Reasoning about Imperfect Information Games
Guifei Jiang, Dongmo Zhang, Laurent Perrussel et al.
Eliminating Disjunctions in Answer Set Programming by Restricted Unfolding
Jianmin Ji, Hai Wan, Kewen Wang et al.
Epistemic Boolean Games Based on a Logic of Visibility and Control
Andreas Herzig, Emiliano Lorini, Faustine Maffre et al.
Distributing Knowledge into Simple Bases
Adrian Haret, Jean-Guy Mailly, Stefan Woltran
Temporalized
EL
On Consensus Extraction
éric Grégoire, Sébastien Konieczny, Jean Marie Lagniez
Querying Data Graphs with Arithmetical Regular Expressions
Maciej Graboń, Jakub Michaliszyn, Jan Otop et al.