Constructive Negation Under the Well-Founded Semantics.

Julie Yu-Chih Liu Leroy Adams Weidong Chen

Published in: J. Log. Program. (1999)

Keyphrases

logic programming
logic programs
fixpoint
deductive databases
predicate logic
databases
datalog programs
truth values
compositional semantics