Papers
Explicit Knowledge-based Reasoning for Visual Question Answering
Peng Wang, Qi Wu, Chunhua Shen et al.
How a General-Purpose Commonsense Ontology can Improve Performance of Learning-Based Image Retrieval
Rodrigo Toro Icarte, Jorge A. Baier, Cristian Ruz et al.
GDL-III: A Description Language for Epistemic General Game Playing
Michael Thielscher
On Computing World Views of Epistemic Logic Programs
Tran Cao Son, Tiep Le, Patrick Kahl et al.
Efficiently Enforcing Path Consistency on Qualitative Constraint Networks by Use of Abstraction
Michael Sioutis, Jean-François Condotta
Fair Allocation based on Diminishing Differences
Erel Segal-Halevi, Haris Aziz, Avinatan Hassidim
A Reasoning System for a First-Order Logic of Limited Belief
Christoph Schwering
Efficient and Complete FD-solving for extended array constraints
Quentin Plazar, Mathieu Acher, Sébastien Bardin et al.
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.