FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Connection-minimal Abduction in EL via translation to FOL (Extended Abstract)

Authors: Fajar Haifani, Patrick Koopmann, Sophie Tourret and Christoph Weidenbach

Paper Information

Title:Connection-minimal Abduction in EL via translation to FOL (Extended Abstract)
Authors:Fajar Haifani, Patrick Koopmann, Sophie Tourret and Christoph Weidenbach
Proceedings:DL Proceedings
Editors: Martin Homola, Jean Christoph Jung and Marie-Laure Mugnier
Keywords:abduction, description logic EL, minimality criterion, first-order logic, prime implicates
Pages:1
Talk:Aug 08 10:00 (Session 94C: Joint NMR/DL Session (3))
Paper: