RASP is a recent extension of Answer Set Programming (ASP) that permits declarative specication 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 simplication, transformation and optimization) from ASP to RASP programs and discuss its applicability, usefulness and implications in this wider context.
Strong Equivalence of RASP Programs
COSTANTINI, STEFANIA;
2012-01-01
Abstract
RASP is a recent extension of Answer Set Programming (ASP) that permits declarative specication 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 simplication, transformation and optimization) from ASP to RASP programs and discuss its applicability, usefulness and implications in this wider context.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
CosForPearceVL65.pdf
solo utenti autorizzati
Tipologia:
Documento in Post-print
Licenza:
Dominio pubblico
Dimensione
295.14 kB
Formato
Adobe PDF
|
295.14 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
