FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
SLIDES

On Interactive Explanations as Reasoning

Guilherme Paulino-Passos and Francesca Toni

Explaining Description Logic Entailments in Practice with Evee and Evonne

Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez and Alexej Popovič

Finding Good Proofs fof Ontology-Mediated Query Answers

Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann and Alisa Kovtunova

Using Abstraction for Interpretable Robot Programs in Stochastic Domains

Till Hofmann and Vaishak Belle

An API for DL Abduction Solvers

Zuzana Hlávková, Martin Homola, Patrick Koopmann and Júlia Pukancová
Total: 5 presentations.