In this paper, we propose a formalization of the features that a graph representation of logic programs under the answer set semantics should in our opinion exhibit in order to be a satisfactory and useful representation formalism. We introduce a concept of isomorphism between a program and the corresponding graph. We show the importance of isomorphism for program analysis and we compare different graph representations w.r.t. isomorphism.
Graph representations of logic programs: Properties and comparison / S. Costantini, A. Provetti (CEUR WORKSHOP PROCEEDINGS). - In: CEUR Workshop Proceedings[s.l] : RWTH Aachen University, 2010. - pp. 1-14 (( Intervento presentato al 6. convegno 6th Latin American Workshop on Non-Monotonic Reasoning, LANMR 2010 tenutosi a Puebla, mex nel 2010.
Graph representations of logic programs: Properties and comparison
A. Provetti
2010
Abstract
In this paper, we propose a formalization of the features that a graph representation of logic programs under the answer set semantics should in our opinion exhibit in order to be a satisfactory and useful representation formalism. We introduce a concept of isomorphism between a program and the corresponding graph. We show the importance of isomorphism for program analysis and we compare different graph representations w.r.t. isomorphism.
| File | Dimensione | Formato | |
|---|---|---|---|
|
01_LANMR10.pdf
accesso aperto
Tipologia:
Publisher's version/PDF
Dimensione
140.33 kB
Formato
Adobe PDF
|
140.33 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
