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

Location: Ullmann 202
14:00
On interactive explanations as reasoning (abstract)
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