UPDF AI

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.