English Stable model semantics Cited by user RDBrown on 13 Oct 2022 The concept of a stable model, or answer set, is used to define a declarative semantics for logic programs with negation as failure.