Why are there so many loop formulas?

Vladimir Lifschitz Alexander A. Razborov

Published in: ACM Trans. Comput. Log. (2006)

Keyphrases

loop formulas
logic programs
answer sets
stable models
logic programming
answer set programming
stable model semantics
normal logic programs
propositional logic
machine learning
expressive power
inductive logic programming