XLOKR-EXCOS — PROGRAM
Days: Friday, 24 July 2026
Friday, 24 July 2026
09:00-09:10
Welcome
XLoKR-ExCoS
Location:
C4.08
09:10-10:15
Inconsistency & Repair
XLoKR-ExCoS
Location:
C4.08
| 09:10-09:35 |
Towards Explaining Repairs of Inconsistent Qualitative Constraint Networks (abstract) 25 min
1 University of Lübeck
|
| 09:35-10:00 |
Towards Visual Decision Support in Interactive Repair (Extended Abstract) (abstract) 25 min
1 TU Dresden
|
| 10:00-10:15 |
Efficient MUS Extraction with High-Level Model Rotation (abstract) 15 min
1 KU Leuven
|
10:15-10:30
Coffee Break
XLoKR-ExCoS
Location:
C4.08
10:30-12:00
Argumentation & Description Logics
XLoKR-ExCoS
Location:
C4.08
| 10:30-10:55 |
Interpretable Automated Essay Scoring via Quantitative Bipolar Argumentation (abstract) 25 min
1 Imperial College London
|
| 10:55-11:20 |
ProofTeller: Exposing Recency Bias in LLM Reasoning and Its Side Effects on Communication (Extended Abstract) (abstract) 25 min
1 Saarland University
2 TU Dresden
3 Saarland University and Zuse School ELIZA
|
| 11:20-11:45 |
In the Heart of the Beholder: User-Tailored Explanations for Description Logics (Extended Abstract) (abstract) 25 min
1 TU Dresden
2 Saarland University and DFKI
|
| 11:45-12:00 |
From User Preferences to Base Score Extraction Functions in Gradual Argumentation - Extended Abstract (abstract) 15 min
1 Institut de Robòtica i Informàtica Industrial, CSIC-UPC
2 King's College London
3 Imperial College London
|
12:00-13:45
Lunch
XLoKR-ExCoS
Location:
C4.08
13:45-15:00
LLMs and Reasoning
XLoKR-ExCoS
Location:
C4.08
| 13:45-14:10 |
Extracting Verified Action Theories from Informal Specifications via Explanation-Guided Refinement (abstract) 25 min
1 New Mexico State University
|
| 14:10-14:35 |
Argumentation for Explainable and Globally Contestable Decision Support with LLMs (abstract) 25 min
1 Imperial College London
|
| 14:35-15:00 |
Latent Debate: A Surrogate Framework for Interpreting LLM Thinking towards Binary Decisions (Extended Abstract) (abstract) 25 min
1 Imperial College London
|
15:00-15:15
Coffee Break
XLoKR-ExCoS
Location:
C4.08
15:15-16:20
Constraints
XLoKR-ExCoS
Location:
C4.08
| 15:15-15:40 |
Explainability Results for the Rotating Workforce Scheduling Problem (abstract) 25 min
1 TU Wien, Austria
|
| 15:40-16:05 |
Towards Interactive Sample-Based Formal Explanations via Constraint Reasoning (abstract) 25 min
1 Artificial Intelligence Research Institute (IIIA-CSIC)
2 ICREA and Lleida University
|
| 16:05-16:20 |
Step-Wise Explanations for Sudoku Puzzles Using ASP(Q) (Extended Abstract) (abstract) 15 min
1 KU Leuven
2 KU Leuven and VU Brussel
|
16:20-16:30
Break
XLoKR-ExCoS
Location:
C4.08
16:30-17:45
Explaining Machine Learning
XLoKR-ExCoS
Location:
C4.08
| 16:30-16:55 |
Explaining Reinforcement Learning Agents via Inductive Logic Programming (abstract) 25 min
1 University of Verona
|
| 16:55-17:20 |
Formally Explaining Neural Network Classification (abstract) 25 min
1 University of Lugano
2 Florida State University
3 SUPSI, IDSIA, Lugano
|
| 17:20-17:45 |
An Argumentative View of Subliminal Learning (abstract) 25 min
1 Imperial College London
|