Stable models and circumscription

  title={Stable models and circumscription},
  author={Paolo Ferraris and Joohyung Lee and Vladimir Lifschitz},
  journal={Artif. Intell.},
sThe definition of a stable model has provided a declarative semantics for Prolog programs with negation as failure and has led to the development of answer set programming. In this paper we propose a new definition of that concept, which covers many constructs used in answer set programming (including disjunctive rules, choice rules and conditional literals) and, unlike the original definition, refers neither to grounding nor to fixpoints. Rather, it is based on a syntactic transformation… CONTINUE READING
Highly Influential
This paper has highly influenced 18 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 166 citations. REVIEW CITATIONS
111 Citations
36 References
Similar Papers


Publications citing this paper.

167 Citations

Citations per Year
Semantic Scholar estimates that this publication has 167 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…