![](https://www.pdfsearch.io/img/83c7f36133a4a80e458f9a624271e292.jpg) Date: 2015-09-19 04:14:13
| | Modeling Abduction over Acyclic First-Order Logic Horn Theories in Answer Set Programming: Preliminary Experiments⋆ Peter Schüller Computer Engineering Department, Faculty of Engineering Marmara University, TurkeyAdd to Reading ListSource URL: ceur-ws.orgDownload Document from Source Website File Size: 2,04 MBShare Document on Facebook
|