last modified: 06 Nov 2021

Search titles and author lists

Tuesday, 9 Nov 2021

2021-11-09T09:00:00+01:00 - 2021-11-09T10:00:00+01:00 09:00 - 10:00

Temporal & Spatial Reasoning

chair: Jean Jung
  • long Giuseppe De Giacomo, Aniello Murano, Fabio Patrizi and Giuseppe PerelliTimed Trace Alignment with Metric Temporal Logic over Finite Traces details
  • long Przemysław A. Wałęga, David J. Tena Cucala, Egor V. Kostylev and Bernardo Cuenca GrauDatalogMTL with Negation Under Stable Models Semantics details
  • long Przemysław A. Wałęga, Michał Zawidzki and Bernardo Cuenca GrauFinitely Materialisable Datalog Programs with Metric Temporal Operators details
  • long Ruiqi Li, Hua Hua, Patrik Haslum and Jochen RenzUnsupervised Novelty Characterization in Physical Environments Using Qualitative Spatial Relations details
2021-11-09T09:00:00+01:00 - 2021-11-09T10:00:00+01:00 09:00 - 10:00

Explanation 1

chair: Kristijonas Cyras
  • KR & ML long Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez and Pierre MarquisOn the Computational Intelligibility of Boolean Classifiers details
  • KR & ML long Xuanxiang Huang, Yacine Izza, Alexey Ignatiev and Joao Marques-SilvaOn Efficiently Explaining Graph-Based Classifiers details
  • KR & ML long Roman Bresson, Johanne Cohen, Eyke Hüllermeier, Christophe Labreuche and Michèle SebagOn the Identifiability of Hierarchical Decision Models details
  • RPR Track abstract Alexey Ignatiev, Nina Narodytska, Nicholas Asher and Joao Marques-SilvaFrom Contrastive to Abductive Explanations and Back Again pdf
  • RPR Track abstract Manuel de Sousa Ribeiro and Joao LeiteAligning Artificial Neural Networks and Ontologies towards Explainable AI - Extended Abstract pdf
in Gather enter 2021-11-09T10:00:00+01:00 - 2021-11-09T10:30:00+01:00 10:00 - 10:30


room C
2021-11-09T10:30:00+01:00 - 2021-11-09T11:00:00+01:00 10:30 - 11:00

Break with activity

chair: Magdalena Ortiz, Maria Vanina Martinez and Marco Maratea
in Gather enter 2021-11-09T11:00:00+01:00 - 2021-11-09T11:30:00+01:00 11:00 - 11:30
Informal discussion

Gabriele Kern-Isberner & Tommie Meyer: Cognitive Logics

2021-11-09T14:30:00+01:00 - 2021-11-09T15:30:00+01:00 14:30 - 15:30

Ontology-Mediated Query Answering

chair: Patrick Koopmann
  • long Best Paper Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph and Michaël ThomazoCapturing Homomorphism-Closed Decidable Queries with Existential Rules details
  • long Best Paper Runner-up Anneke Haga, Carsten Lutz, Leif Sabellek and Frank WolterHow to Approximate Ontology-Mediated Queries details
  • long Maxime Buron, Marie-Laure Mugnier and Michaël ThomazoParallelisable Existential Rules: a Story of Pieces details
  • long Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini and Frank WolterSeparating Data Examples by Description Logic Concepts with Restricted Signatures details
2021-11-09T14:30:00+01:00 - 2021-11-09T15:30:00+01:00 14:30 - 15:30

Argumentation 2

chair: Nico Potyka
  • long Jesse Heyninck, Gabriele Kern-Isberner, Matthias Thimm, Kenneth Skiba and Tjitze RienstraRevision and Conditional Inference for Abstract Dialectical Frameworks details
  • long Guilherme Paulino-Passos and Francesca ToniMonotonicity and Noise-Tolerance in Case-Based Reasoning with Abstract Argumentation details
  • long Bettina Fazzinga, Sergio Flesca and Filippo FurfaroReasoning over Attack-incomplete AAFs in the Presence of Correlations details
  • long Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns and Nikolai KäferAdmissibility in Probabilistic Argumentation details
in Gather enter 2021-11-09T15:30:00+01:00 - 2021-11-09T16:00:00+01:00 15:30 - 16:00


in Gather enter 2021-11-09T16:00:00+01:00 - 2021-11-09T16:15:00+01:00 16:00 - 16:15


2021-11-09T16:15:00+01:00 - 2021-11-09T17:15:00+01:00 16:15 - 17:15

DC Lightning + Posters

chair: Magdalena Ortiz, Jens Classen
in Gather enter 2021-11-09T17:15:00+01:00 - 2021-11-09T17:30:00+01:00 17:15 - 17:30


2021-11-09T17:30:00+01:00 - 2021-11-09T18:30:00+01:00 17:30 - 18:30
Invited Talk:

Martin Grohe
The Logic of Graph Neural Networks

chair: Vaishak Belle