First Page | Document Content | |
---|---|---|
Date: 2008-12-16 11:06:11Mathematics Logic Mathematical logic Logic programming Model theory Stable model semantics Modal logic 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: tmancini.di.uniroma1.itDownload Document from Source WebsiteFile Size: 150,69 KBShare Document on Facebook |