Sign in

Constructive Negation Under the Well-Founded Semantics.

Julie Yu-Chih LiuLeroy AdamsWeidong Chen
Published in: J. Log. Program. (1999)
Keyphrases
  • logic programming
  • logic programs
  • fixpoint
  • deductive databases
  • predicate logic
  • databases
  • datalog programs
  • truth values
  • compositional semantics