- Francesco Kriegel. Optimal Fixed-Premise Repairs of EL TBoxes
- Beishui Liao, Pere Pardo, Marija Slavkovik and Leon van der Torre. The Jiminy Advisor: an extended abstract
- Augusto B. Corrêa, Markus Hecher, Malte Helmert, Davide Mario Longo, Florian Pommerening and Stefan Woltran. Grounding Planning Tasks Using Tree Decompositions and Iterated Solving
- Nico Potyka, Xiang Yin and Francesca Toni. Explaining Random Forests Using Bipolar Argumentation and Markov Networks
- Mariela Morveli Espinoza, Juan Carlos Nieves, Cesar A. Tacla and Henrique M. R. Jasinski. Goal Reasoning and Explanations Generation in BDI-extended Agents
- Ricardo Guimarães, Ana Ozaki and Jandson S. Ribeiro. Finite Based Contraction and Expansion via Models
- Ian Pratt-Hartmann and Lidia Tendera. Extending the Fluted Fragment with Transitivity and Counting
- Laura Giordano and Daniele Theseider Dupre. An ASP approach for reasoning on neural networks under a finitely many-valued semantics for weighted conditional knowledge bases
- David Toman and Grant Weddell. First Order Rewritability in Ontology-Mediated Querying in Horn Description Logics
- Jürgen Landes and Jon Williamson. Objective Bayesian nets for integrating consistent datasets
- Grégoire Menguy, Sebastien Bardin, Nadjib Lazaar and Arnaud Gotlieb. Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition
- Hiba Arnaout, Simon Razniewski, Gerhard Weikum and Jeff Z. Pan. Negative Statements Considered Useful
- Viktor Besin, Markus Hecher and Stefan Woltran. Body-Decoupled Grounding via Solving: A Novel Approach on the ASP Bottleneck
- Mariela Morveli Espinoza, Juan Carlos Nieves and Cesar A. Tacla. Using Formal Argumentation for Handling Temporality in Human Activity Reasoning
- Andreas Xydis, Christopher Hampson, Sanjay Modgil and Elizabeth Black. Towards a sound and complete dialogue system for handling enthymemes
- Federica Di Stefano, Magdalena Ortiz and Mantas Simkus. Description Logics with Pointwise Circumscription
- Mohamed-Bachir Belaid, Nassim Belmecheri, Nadjib Lazaar, Arnaud. Gotlieb and Helge Spieker. GEQCA: Generic Qualitative Constraint Acquisition