A New Perspective on Stable Models.

Paolo Ferraris Joohyung Lee Vladimir Lifschitz

Published in: IJCAI (2007)

Keyphrases

stable models
logic programs
logic programming
normal logic programs
answer set programming
deductive databases
fixpoint
stable model semantics
general theory
strong equivalence
logic programs with negation
loop formulas
semantics for logic programs
answer set programs
machine learning
answer sets
derivation rules