|
FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
| Patrick Koopmann Pages in this Program | Accepted Papers | | All Proceedings Papers | | DL on Monday, August 8th | | 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 on Wednesday, August 10th | | IJCAR Program | | Paper: An API for DL Abduction Solvers | | Paper: Connection-Minimal Abduction in EL via Translation to FOL | | Paper: Connection-minimal Abduction in EL via translation to FOL (Extended Abstract) | | Paper: Efficient TBox Reasoning with Value Restrictions using the FL0wer Reasoner (Extended Abstract) | | 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 | | Paper: Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract) | | Program | | Program for Monday, August 8th | | Program for Sunday, August 7th | | Program for Sunday, July 31st | | Program for Tuesday, August 9th | | Program for Wednesday, August 10th | | Slides | | Slides | | Slides | | Slides | | XLoKR on Sunday, July 31st | | XLoKR Program |
|
|
|
