# Stable model semantics

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2013

2013

- TPLP
- 2013

Answer Set Programming (ASP) is a powerful form of declarative programming used in areas such as planning or reasoning. ASPâ€¦Â (More)

Is this relevant?

2006

2006

- TPLP
- 2006

The stable model semantics has become a dominating approach for the management of negation in logic programming and closeâ€¦Â (More)

Is this relevant?

Highly Cited

2003

Highly Cited

2003

- ICLP
- 2003

In recent research on nonmonotonic logic programming, repe atedly strong equivalence of logic programs P andQ has been consideredâ€¦Â (More)

Is this relevant?

Highly Cited

2002

Highly Cited

2002

- Artif. Intell.
- 2002

An algorithm for computing the stable model semantics of logic programs is developed. It is shown that one can extend theâ€¦Â (More)

Is this relevant?

2001

2001

- Journal of Automated Reasoning
- 2001

An extension of resolution for skeptical stable model semantics is introduced. Unlike previous approaches, our calculus is notâ€¦Â (More)

Is this relevant?

Highly Cited

2000

Highly Cited

2000

- ACM Trans. Comput. Log.
- 2000

This article studies an implementation methodology for partial and disjunctive stable models where partiality and disjunctionsâ€¦Â (More)

Is this relevant?

Highly Cited

1999

Highly Cited

1999

- LPNMR
- 1999

1 A generalization of logic program rules is proposed where rules are built from weight constraints with type information forâ€¦Â (More)

Is this relevant?

Highly Cited

1999

Highly Cited

1999

- Annals of Mathematics and Artificial Intelligence
- 1999

Logic programming with the stable model semantics is put forward as a novel constraint programming paradigm. This paradigm isâ€¦Â (More)

Is this relevant?

Highly Cited

1999

Highly Cited

1999

- ArXiv
- 1999

In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a leastâ€¦Â (More)

Is this relevant?

Highly Cited

1988

Highly Cited

1988

- ICLP/SLP
- 1988

This paper studies the stable model semantics of logic progr ams with (abstract) constraint atoms and their properties. Weâ€¦Â (More)

Is this relevant?