Connection-Minimal Abduction in EL via Translation to FOL
Authors: Fajar Haifani, Patrick Koopmann, Sophie Tourret and Christoph Weidenbach
Paper Information
| Title: | Connection-Minimal Abduction in EL via Translation to FOL |
| Authors: | Fajar Haifani, Patrick Koopmann, Sophie Tourret and Christoph Weidenbach |
| Proceedings: | IJCAR 2022 Proceedings of IJCAR 2022 |
| Editors: | Laura Kovacs, Jasmin Blanchette and Dirk Pattinson |
| Keywords: | abduction, Description Logic EL, Minimality Criterion, First-order logic, prime implicates |
| Pages: | 20 |
| Talk: | Aug 10 11:00 (Session 112D: Decidable Logics and Models) |
| Paper: |  |