Comparing Different Graph Representations of Logic Programs under the Answer Set Semantics

Stefania Costantini

In this paper we try a formalization of the features that a graph representation of logic programs should exhibit. On the basis of this formalization, we compare three graph representations: the DG, the EDG and the RG.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.