First Page | Document Content | |
---|---|---|
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 WebsiteFile Size: 150,69 KBShare Document on Facebook |