FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

A
Alrabbaa, Christian	Explaining Description Logic Entailments in Practice with Evee and Evonne Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Extended Abstract)
B
Belle, Vaishak	Using Abstraction for Interpretable Robot Programs in Stochastic Domains
Bleukx, Ignace	Stepwise Explanations of Unsatisfiable Constraint Programs (Extended abstract)
Bogaerts, Bart	Stepwise Explanations of Unsatisfiable Constraint Programs (Extended abstract)
Borgwardt, Stefan	Explaining Description Logic Entailments in Practice with Evee and Evonne Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Extended Abstract)
C
Calegari, Roberta	Clustering-Based Approaches for Symbolic Knowledge Extraction
Collenette, Joe	Dialogue-Based Explanations of Reasoning in Rule-based Systems
Cozman, Fabio	Invited Talk: Explaining and Arguing with Facts and Rules
D
Dennis, Louise	Dialogue-Based Explanations of Reasoning in Rule-based Systems
Dixon, Clare	Dialogue-Based Explanations of Reasoning in Rule-based Systems
E
Eifler, Rebecca	Explaining Soft-Goal Conflicts through Constraint Relaxations
Erdem, Esra	Invited Talk: Explanation Generation in Applications of Answer Set Programming
F
Frank, Jeremy	Explaining Soft-Goal Conflicts through Constraint Relaxations
Friese, Tom	Explaining Description Logic Entailments in Practice with Evee and Evonne
G
Gamba, Emilio	Stepwise Explanations of Unsatisfiable Constraint Programs (Extended abstract)
Gonçalves, Ricardo	Modular Provenance in Multi-Context Systems
Guns, Tias	Stepwise Explanations of Unsatisfiable Constraint Programs (Extended abstract)
H
Hlávková, Zuzana	An API for DL Abduction Solvers
Hoffmann, Joerg	Explaining Soft-Goal Conflicts through Constraint Relaxations
Hofmann, Till	Using Abstraction for Interpretable Robot Programs in Stochastic Domains
Homola, Martin	An API for DL Abduction Solvers
J
Jiang, Junqi	Should counterfactual explanations always be data instances?
K
Knorr, Matthias	Modular Provenance in Multi-Context Systems
Koopmann, Patrick	Explaining Description Logic Entailments in Practice with Evee and Evonne Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Extended Abstract) An API for DL Abduction Solvers
Kovtunova, Alisa	Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Extended Abstract)
L
Leite, Joao	Modular Provenance in Multi-Context Systems
M
Méndez, Julián	Explaining Description Logic Entailments in Practice with Evee and Evonne
P
Paulino-Passos, Guilherme	On interactive explanations as reasoning
Popovič, Alexej	Explaining Description Logic Entailments in Practice with Evee and Evonne
Pukancová, Júlia	An API for DL Abduction Solvers
R
Rago, Antonio	Should counterfactual explanations always be data instances?
S
Sabbatini, Federico	Clustering-Based Approaches for Symbolic Knowledge Extraction
T
Toni, Francesca	On interactive explanations as reasoning Should counterfactual explanations always be data instances?
V
Viegas Damásio, Carlos	Modular Provenance in Multi-Context Systems
X
Xu, Yifan	Dialogue-Based Explanations of Reasoning in Rule-based Systems

Disclaimer | Powered by EasyChair Smart Program