![Logic / Mathematics / Mathematical logic / Logic programming / Model theory / Stable model semantics / Modal logic / Substitution / FO / Binomial coefficient Logic / Mathematics / Mathematical logic / Logic programming / Model theory / Stable model semantics / Modal logic / Substitution / FO / Binomial coefficient](https://www.pdfsearch.io/img/75ac06ee54e7820c5cf6fea28eddb1be.jpg) Date: 2008-11-30 17:58:06Logic Mathematics Mathematical logic Logic programming Model theory Stable model semantics Modal logic Substitution FO Binomial coefficient | | Look-back Techniques for ASP Programs with Aggregates Wolfgang Faber1 , Nicola Leone1 , Marco Maratea1,2 , and Francesco Ricca1 1 Department of Mathematics, University of Calabria, 87036 Rende (CS), ItalyAdd to Reading ListSource URL: ceur-ws.orgDownload Document from Source Website File Size: 150,69 KBShare Document on Facebook
|