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. |
Year | Venue | Keywords |
---|---|---|
2012 | Correct Reasoning | declarative specification,wider context,practical tool,answer set programming,rasp program,program simplification,strong equivalence,recent extension |
Field | DocType | Citations |
Intuitionistic logic,Programming language,Program simplification,Rasp,Algorithm,Equivalence (measure theory),Logic programming,Answer set programming,Mathematics | Conference | 2 |
PageRank | References | Authors |
0.37 | 12 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Stefania Costantini | 1 | 536 | 59.90 |
Andrea Formisano | 2 | 301 | 32.94 |
David Pearce | 3 | 313 | 22.20 |