Abstract
RASP is a recent extension of Answer Set Programming (ASP) that permits declarative specification and reasoning on consumption and production of resources. In this paper, we extend the concept of strong equivalence (which, as widely recognized, provides an important conceptual and practical tool for program simplification, transformation and optimization) from ASP to RASP programs and discuss its applicability, usefulness and implications in this wider context. © 2012 Springer-Verlag Berlin Heidelberg.
Cite
CITATION STYLE
Costantini, S., Formisano, A., & Pearce, D. (2012). Strong equivalence of RASP programs. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7265, 149–163. https://doi.org/10.1007/978-3-642-30743-0_11
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
