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) |
| Coffee | ||
| 10:30 - 11:00 | Coffee 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! |
| Lunch | ||
| 12:30 - 14:00 | Lunch | |
| Session 3 | ||
| 14:00 - 15:00 | Great 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:30 | Closing | |
