Friday, Aug 5

Session 1
Description Logics (Taub 2)
Session Chair: Martin Homola
Systems & Robotics / Existential Rules (Taub 3)
Session Chair: Jean Christoph Jung
09:00 - 09:30 Marie Fortin, Boris Konev and Frank Wolter
Interpolants and Explicit Definitions in Extensions of the Description Logic EL
Meghyn Bienvenu and Camille Bourgaux
Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments
09:30 - 10:00 Piero Bonatti and Luigi Sauro
Sticky Policies in OWL2: Extending PL with fixpoints and Transitive Closure
Benjamin Irwin, Antonio Rago and Francesca Toni
Forecasting Argumentation Frameworks
10:00 - 10:30 Franz Baader and Francesco Kriegel
Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs
Thomas Eiter, Tobias Geibinger, Nelson Higuera, Nysret Musliu, Johannes Oetsch and Daria Stepanova
ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser (short paper)

Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito and Emanuel Sallinger
On the Relationship between Shy and Warded Datalog+/- (short paper)

Jacopo Urbani, Markus Krötzsch and Thomas Eiter
Chasing streams with existential rules (short paper)
10:30 - 11:00Coffee Break
Session 2
Belief Merging / Revision (Taub 2)
Session Chair: Renata Wassermann
Datalog & Existential Rules (Taub 3)
Session Chair: Meghyn Bienvenu
11:00 - 11:30 Jonas Karge and Sebastian Rudolph
The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion
Jean Christoph Jung, Carsten Lutz and Jerzy Marcinkowski
Conservative Extensions for Existential Rules
11:30 - 12:00 Zied Bouraoui, Sébastien Konieczny, Thanh Ma, Nicolas Schwind and Ivan Varzinczak
Region-Based Merging of Open-Domain Terminological Knowledge
Camille Bourgaux, Pierre Bourhis, Liat Peterfreund and Michaël Thomazo
Revisiting Semiring Provenance for Datalog
12:00 - 12:30 Jens Classen and James Delgrande
Projection of Belief in the Presence of Nondeterministic Actions and Fallible Sensing (short paper)

Jonas Haldimann and Christoph Beierle
Inference with System W Satisfies Syntax Splitting (short paper)

Kai Sauerwald and Christoph Beierle
Iterated Belief Change, Computationally (short paper)
David Carral, Lucas Larroque, Marie-Laure Mugnier and Michaël Thomazo
Normalisations of Existential Rules: Not so Innocuous!
12:30 - 14:00Lunch
Session 3
14:00 - 15:00Great Moments in KR Talk (Taub 2)
Anthony Hunter
From Non-monotonic Reasoning to Argumentation and Commonsense (abstract)

Chair: Francesca Toni
Planning (Taub 2)
Session Chair: Giuseppe De Giacomo
Deontic Logic (Taub 3)
Session Chair: Tim Lyon
15:00 - 15:30 Pulkit Verma, Shashank Rao Marpally and Siddharth Srivastava
Discovering User-Interpretable Capabilities of Black-Box Planning Agents
Xu Li, Dov Gabbay and Réka Markovich
Dynamic Deontic Logic for Permitted Announcements
Session 4
KR & Machine Learning (Taub 2)
Session Chair: Fabio Cozman
Argumentation (Taub 3)
Session Chair: Anthony Hunter
15:30 - 16:00 Hong Wu, Zhe Wang, Kewen Wang and Yi-Dong Shen
Learning Typed Rules over Knowledge Graphs
Coffee Break
16:00 - 16:30 Alvaro Gunawan, Ji Ruan and Xiaowei Huang
A Graph Neural Network Reasoner for Game Description Language
Anna Rapberger and Markus Ulbricht
On Dynamics in Structured Argumentation Formalisms
16:30 - 17:00 Antonio Rago, Pietro Baroni and Francesca Toni
Explaining Causal Models with Argumentation: the Case of Bi-variate Reinforcement
Lydia Blümel and Markus Ulbricht
Defining Defense and Defeat in Abstract Argumentation From Scratch -- A Generalizing Approach
17:00 - 17:30Closing