Module theorem for the general theory of stable models.

Joseph Babb Joohyung Lee

Published in: Theory Pract. Log. Program. (2012)

Keyphrases

general theory
stable models
logic programs
logic programming
normal logic programs
answer set programming
fixpoint
stable model semantics
deductive databases
database
fuzzy sets
answer sets
loop formulas
general purpose