Unfounded Sets and Well-Founded Semantics for General Logic Programs.

Allen Van Gelder Kenneth A. Ross John S. Schlipf

Published in: PODS (1988)

Keyphrases

general logic programs
logic programs
answer sets
normal logic programs
logic programming
fixpoint
causal theories
horn clauses
stable models
fixpoint semantics
answer set programming
autoepistemic logic
deductive databases
inductive logic programming
strong equivalence