AAAI

Association for the Advancement of Artificial Intelligence

Home / Proceedings / Papers from the 2001 AAAI Spring Symposium / Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning

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

Download PDF

Authors

Stefania Costantini

DOI:


Abstract:

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.