FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Christian Alrabbaa
Affiliation: TU Dresden
Pages in this Program
Accepted Papers
All Proceedings Papers
DL on Sunday, August 7th
DL on Tuesday, August 9th
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 Monday, August 8th
IJCAR Program
Paper: Evonne: Interactive Proof Visualization for Description Logics (System Description)
Paper: Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies
Paper: On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne
Program
Program for Monday, August 8th
Program for Sunday, August 7th
Program for Sunday, July 31st
Program for Tuesday, August 9th
Slides
Slides
Slides
Slides
XLoKR on Sunday, July 31st
XLoKR Program