Module Theorem for The General Theory of Stable Models

Joseph Babb Joohyung Lee

Published in: CoRR (2012)

Keyphrases

general theory
stable models
logic programs
logic programming
normal logic programs
fixpoint
answer set programming
deductive databases
stable model semantics
loop formulas
inductive logic programming
machine learning
background knowledge
incomplete information
semantics for logic programs
derivation rules