XLOKR PROGRAM
Sunday, July 31st
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:00Coffee & Refreshments
09:00-10:30 Session 1K
XLoKR Session 1
Location: Ullmann 202
| 09:00 | Invited Talk: Explaining and Arguing with Facts and Rules (abstract) |
| 10:00 | Using Abstraction for Interpretable Robot Programs in Stochastic Domains (abstract)  PRESENTER: Till Hofmann |
10:30-11:00Coffee Break
11:00-12:30 Session 10P
XLoKR Session 2
Location: Ullmann 202
| 11:00 | Explaining Description Logic Entailments in Practice with Evee and Evonne (abstract) PRESENTER: Stefan Borgwardt |
| 11:20 | Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Extended Abstract) (abstract) PRESENTER: Stefan Borgwardt |
| 11:40 | An API for DL Abduction Solvers (abstract) PRESENTER: Júlia Pukancová |
| 12:00 | Modular Provenance in Multi-Context Systems (abstract) PRESENTER: Matthias Knorr |
12:30-14:00Lunch Break
Lunches will be held in Taub hall and in The Grand Water Research Institute.
14:00-15:30 Session 14R
XLoKR Session 3
Chair:
Location: Ullmann 202
| 14:00 | On interactive explanations as reasoning (abstract) PRESENTER: Guilherme Paulino-Passos |
| 14:20 | Should counterfactual explanations always be data instances? (abstract) PRESENTER: Francesca Toni |
| 14:40 | Dialogue-Based Explanations of Reasoning in Rule-based Systems (abstract) PRESENTER: Joe Collenette |
| 15:00 | Clustering-Based Approaches for Symbolic Knowledge Extraction (abstract) PRESENTER: Roberta Calegari |
15:30-16:00Coffee Break
16:00-18:00 Session 19P
XLoKR Session 4
Location: Ullmann 202
| 16:00 | Invited Talk: Explanation Generation in Applications of Answer Set Programming (abstract) |
| 17:00 | Explaining Soft-Goal Conflicts through Constraint Relaxations (abstract) PRESENTER: Rebecca Eifler |
| 17:20 | Stepwise Explanations of Unsatisfiable Constraint Programs (Extended abstract) (abstract) PRESENTER: Ignace Bleukx |