Back to Results
First PageMeta Content
Mathematics / 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), Italy
Add to Reading List

Document Date: 2008-12-16 11:06:11


Open Document

File Size: 150,69 KB

Share Result on Facebook