Vol-3008⫷ Vol-3009 ⫸Vol-3010
urn:nbn:de:0074-3009-0


Vol-3009/short1⫷Vol-3009/paper2⫸Vol-3009/abstract2
Fajar HaifaniPatrick KoopmannSophie Tourret

Abduction in EL via Translation to FOL