The Well-Founded Semantics for General Logic Programs.

Allen Van Gelder Kenneth A. Ross John S. Schlipf

Published in: J. ACM (1991)

Keyphrases

general logic programs
logic programs
causal theories
autoepistemic logic
normal logic programs
deductive databases
logic programming
nonmonotonic reasoning
answer set programming
strong equivalence
high level
relational databases
data integration
modal logic
classical logic