An API for DL Abduction Solvers
Authors: Zuzana Hlávková, Martin Homola, Patrick Koopmann and Júlia Pukancová
Paper Information
| Title: | An API for DL Abduction Solvers |
| Authors: | Zuzana Hlávková, Martin Homola, Patrick Koopmann and Júlia Pukancová |
| Proceedings: | DL Proceedings |
| Editors: | Martin Homola, Jean Christoph Jung and Marie-Laure Mugnier |
| Keywords: | abduction, description logics, ontologies, software engineering |
| Pages: | 1 |
| Talk: | Aug 09 15:15 (Session 104C: Abduction and Explanations) |
| Paper: |  |