XLOKR 2022 PROGRAM
Sunday, July 31st
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00-10:30 Session 1D
XLoKR Session 1
09:00 | Invited Talk: Explaining and Arguing with Facts and Rules (abstract) |
10:00 | Using Abstraction for Interpretable Robot Programs in Stochastic Domains (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 7G
XLoKR Session 2
11:00 | Explaining Description Logic Entailments in Practice with Evee and Evonne (abstract) |
11:20 | Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Extended Abstract) (abstract) |
11:40 | An API for DL Abduction Solvers (abstract) |
12:00 | Modular Provenance in Multi-Context Systems (abstract) |
12:30-14:00Lunch Break
14:00-15:30 Session 11K
XLoKR Session 3
14:00 | On interactive explanations as reasoning (abstract) |
14:20 | Should counterfactual explanations always be data instances? (abstract) |
14:40 | Dialogue-Based Explanations of Reasoning in Rule-based Systems (abstract) |
15:00 | Clustering-Based Approaches for Symbolic Knowledge Extraction (abstract) |
15:30-16:00Coffee Break
16:00-18:00 Session 15G
XLoKR Session 4
16:00 | Invited Talk: Title TBA (abstract) |
17:00 | Explaining Soft-Goal Conflicts through Constraint Relaxations (abstract) |
17:20 | Stepwise Explanations of Unsatisfiable Constraint Programs (Extended abstract) (abstract) |