Browsing by Subject "Default theory"
Now showing items 1-2 of 2
-
Article
Graph theoretical structures in logic programs and default theories
(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 ...
-
Conference Object
A unified argumentation-based framework for knowledge qualification
(2011)Among the issues faced by an intelligent agent, central is that of reconciling the, often contradictory, pieces of knowledge - be those given, learned, or sensed - at its disposal. This problem, known as knowledge ...