Extending and Implementing RASP
Stefania Costantini, Andrea Formisano, Davide Petturiti · Fundamenta Informaticae · 2010
In previous work we have proposed an extension to ASP (Answer Set Programming), called RASP, standing for ASP with Resources. RASP supports declarative reasoning on production and consumption of (amounts of) resources. The approach combines answer se