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

Document Date: 2008-11-30 17:58:06


Open Document

File Size: 150,69 KB

Share Result on Facebook