![](https://www.pdfsearch.io/img/1f55054c9560cd1f7f2f0b07d8fb44f4.jpg)
| | Answer Set Programming’s Contributions to Classical Logic An analysis of ASP methodology Marc Denecker, Joost Vennekens, Hanne Vlaeminck, Johan Wittocx, and Maurice Bruynooghe Department of Computer Science, K.U. LeuveAdd to Reading ListSource URL: people.cs.kuleuven.beDownload Document from Source Website File Size: 222,35 KBShare Document on Facebook
|