An argumentation semantics for logic programming with explicit negation
D. Warren
1993
17 Citations
TLDR
A simple framework for semantics of extended logic programming with explicit negation generalizing in a natural way the major approaches to semantics of normal logic programming.