Protected Completions of First-Order General Logic Programs.

James J. Lu V. S. Subrahmanian

Published in: J. Autom. Reason. (1990)

Keyphrases

general logic programs
logic programs
causal theories
deductive databases
autoepistemic logic
logic programming
answer set programming
fixpoint semantics
normal logic programs
strong equivalence
fixpoint
data management
answer sets
stable models
model theoretic