Vol-1450⫷ Vol-1451 ⫸Vol-1452
urn:nbn:de:0074-1451-0


Vol-1451/paper6⫷Vol-1451/paper7
Peter Schüller

Modeling Abduction over Acyclic First-Order Logic Horn Theories in Answer Set Programming: Preliminary Experiments