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

First Page		Document Content
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, Turkey Add to Reading List Source URL: ceur-ws.org Download Document from Source Website File Size: 2,04 MB Share Document on Facebook