Search - Archive ouverte HAL Access content directly

Filter your results

1 Résultat
Image document

Connection-Minimal Abduction in EL via Translation to FOL

Fajar Haifani , Patrick Koopmann , Sophie Tourret , Christoph Weidenbach
35th International Workshop on Description Logics (DL 2022), Aug 2022, Haifa, Israel. ⟨10.1007/978-3-031-10769-6_12⟩
Conference papers hal-03937189v1