![Logic programming / Mathematical logic / Theoretical computer science / Logic / Order theory / Model theory / Stable model semantics / Path ordering / Negation as failure / FO Logic programming / Mathematical logic / Theoretical computer science / Logic / Order theory / Model theory / Stable model semantics / Path ordering / Negation as failure / FO](https://www.pdfsearch.io/img/181cb87d478abace481f9043c4308355.jpg) Date: 2010-05-17 20:33:04Logic programming Mathematical logic Theoretical computer science Logic Order theory Model theory Stable model semantics Path ordering Negation as failure FO | | Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation Mario Alviano, Wolfgang Faber, and Nicola Leone Department of Mathematics University of CalabriaRende (CS), ItalyAdd to Reading ListSource URL: ceur-ws.orgDownload Document from Source Website File Size: 166,39 KBShare Document on Facebook
|