Invited Talk: Explaining and Arguing with Facts and Rules (abstract)

Using Abstraction for Interpretable Robot Programs in Stochastic Domains (abstract)

Explaining Description Logic Entailments in Practice with Evee and Evonne (abstract)

Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Extended Abstract) (abstract)

An API for DL Abduction Solvers (abstract)

Modular Provenance in Multi-Context Systems (abstract)

On interactive explanations as reasoning (abstract)

Should counterfactual explanations always be data instances? (abstract)

Dialogue-Based Explanations of Reasoning in Rule-based Systems (abstract)

Clustering-Based Approaches for Symbolic Knowledge Extraction (abstract)

Invited Talk: Title TBA (abstract)

Explaining Soft-Goal Conflicts through Constraint Relaxations (abstract)

Stepwise Explanations of Unsatisfiable Constraint Programs (Extended abstract) (abstract)