Safe Formulas in the General Theory of Stable Models (Preliminary Report).

Joohyung Lee Vladimir Lifschitz Ravi Palla

Published in: ICLP (2008)

Keyphrases

general theory
stable models
logic programs
logic programming
normal logic programs
fixpoint
answer set programming
deductive databases
stable model semantics
horn clauses
loop formulas
computer vision
background knowledge
orders of magnitude
high level
databases
database