Browsing Τμήμα Πληροφορικής / Department of Computer Science by Author "Torres, A."
Now showing items 1-1 of 1
-
Article
Graph theoretical structures in logic programs and default theories
Dimopoulos, Yannis; Torres, A. (1996)In this paper we present a graph representation of logic programs and default theories. We show that many of the semantics proposed for logic programs with negation can be expressed in terms of notions emerging from graph ...