FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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)