## Twelve Definitions of a Stable Model

### Cached

### Download Links

Citations: | 18 - 1 self |

### BibTeX

@MISC{Lifschitz_twelvedefinitions,

author = {Vladimir Lifschitz},

title = {Twelve Definitions of a Stable Model},

year = {}

}

### OpenURL

### Abstract

This is a review of some of the definitions of the concept of a stable model that have been proposed in the literature. These definitions are equivalent to each other, at least when applied to traditional Prologstyle programs, but there are reasons why each of them is valuable and interesting. A new characterization of stable models can suggest an alternative picture of the intuitive meaning of logic programs; or it can lead to new algorithms for generating stable models; or it can work better than others when we turn to generalizations of the traditional syntax that are important from the perspective of answer set programming; or it can be more convenient for use in proofs; or it can be interesting simply because it demonstrates a relationship between seemingly unrelated ideas.