Back to Results
First PageMeta Content



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, Turkey
Add to Reading List

Document Date: 2015-09-19 04:14:13


Open Document

File Size: 2,04 MB

Share Result on Facebook