Vol-3262⫷ Vol-3263 ⫸Vol-3264
urn:nbn:de:0074-3263-0


Vol-3263/abstract-11⫷Vol-3263/abstract-12⫸Vol-3263/abstract-13
Fajar HaifaniPatrick KoopmannSophie TourretChristoph Weidenbach

Connection-Minimal Abduction in EL via Translation to FOL (Extended Abstract)