Login / Signup

Unfold/Fold Transformation of General Logic Programs for the Well-Founded Semantics.

Hirohisa Seki
Published in: J. Log. Program. (1993)
Keyphrases
  • general logic programs
  • logic programs
  • causal theories
  • autoepistemic logic
  • deductive databases
  • artificial intelligence
  • database systems
  • general purpose
  • sufficient conditions
  • classical logic
  • fixpoint semantics