FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Sophie Tourret
Affiliation: Inria, France, and Max Planck Institute for Informatics, Germany
Pages in this Program
Accepted Papers
All Proceedings Papers
DL on Monday, August 8th
DL Proceedings
DL Proceedings: Papers with Abstracts
DL Program
IJCAR 2022 Proceedings of IJCAR 2022
IJCAR 2022 Proceedings of IJCAR 2022: Papers with Abstracts
IJCAR on Tuesday, August 9th
IJCAR on Wednesday, August 10th
IJCAR Program
Organization
Paper: Connection-Minimal Abduction in EL via Translation to FOL
Paper: Connection-minimal Abduction in EL via translation to FOL (Extended Abstract)
Program
Program for Monday, August 8th
Program for Thursday, August 11th
Program for Tuesday, August 9th
Program for Wednesday, August 10th
Slides
Slides
SMT on Thursday, August 11th
SMT Program