Papers
The Bag Semantics of Ontology-Based Data Access
Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis et al.
Generalized Target Assignment and Path Finding Using Answer Set Programming
Van Nguyen, Philipp Obermeier, Tran Cao Son et al.
Dominance and Optimisation Based on Scale-Invariant Maximum Margin Preference Learning
Mojtaba Montazery, Nic Wilson
Contract Design for Energy Demand Response
Reshef Meir, Hongyao Ma, Valentin Robu
Context-aware Path Ranking for Knowledge Base Completion
Sahisnu Mazumder, Bing Liu
Logic on MARS: Ontologies for Generalised Property Graphs
Maximilian Marx, Markus Krötzsch, Veronika Thost
Ontology-Mediated Querying with the Description Logic EL: Trichotomy and Linear Datalog Rewritability
Carsten Lutz, Leif Sabellek
A Data-Driven Approach to Infer Knowledge Base Representation for Natural Language Relations
Kangqi Luo, Xusheng Luo, Xianyang Chen et al.
Temporalising Separation Logic for Planning with Search Control Knowledge
Xu Lu, Cong Tian, Zhenhua Duan
Mapping Repair in Ontology-based Data Access Evolving Systems
Domenico Lembo, Riccardo Rosati, Valerio Santarelli et al.
Induction of Interpretable Possibilistic Logic Theories from Relational Data
Ondrej Kuzelka, Jesse Davis, Steven Schockaert
On the Complexity of Enumerating the Extensions of Abstract Argumentation Frameworks
Markus Kröll, Reinhard Pichler, Stefan Woltran
Model Checking Multi-Agent Systems against LDLK Specifications
Jeremy Kong, Alessio Lomuscio
Strong Syntax Splitting for Iterated Belief Revision
Gabriele Kern-Isberner, Gerhard Brewka
Foundations of Declarative Data Analysis Using Limit Datalog Programs
Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev et al.
Query Conservative Extensions in Horn Description Logics with Inverse Roles
Jean Christoph Jung, Carsten Lutz, Mauricio Martel et al.
Belief Manipulation Through Propositional Announcements
Aaron Hunter, François Schwarzentruber, Eric Tsang
ATL Strategic Reasoning Meets Correlated Equilibrium
Xiaowei Huang, Ji Ruan
A General Multi-agent Epistemic Planner Based on Higher-order Belief Change
Xiao Huang, Biqing Fang, Hai Wan et al.
Revisiting Unrestricted Rebut and Preferences in Structured Argumentation.
Jesse Heyninck, Christian Straßer
Characterising the Manipulability of Boolean Games
Paul Harrenstein, Paolo Turrini, Michael Wooldridge
Combining DL-Lite_{bool}^N with Branching Time: A gentle Marriage
Víctor Gutiérrez-Basulto, Jean Christoph Jung
Nash Equilibria in Concurrent Games with Lexicographic Preferences
Julian Gutierrez, Aniello Murano, Giuseppe Perelli et al.
Relatedness-based Multi-Entity Summarization
Kalpa Gunaratna, Amir Hossein Yazdavar, Krishnaprasad Thirunarayan et al.
Non-Determinism and the Dynamics of Knowledge
Davide Grossi, Andreas Herzig, Wiebe van der Hoek et al.