Classic AI: search, logic & planning· 1988
The Stable Model Semantics for Logic Programming
On the reading lists
- #411 in the Top 500 (2026 edition)
- #23 in Classic AI: search, logic & planning (2026 edition)
Why it matters
Introduced stable models, laying the theoretical foundation for answer set programming.
Condensed from the expert lists' notes.
Data sources
Catalogue data from OpenAlex (CC0), Crossref (CC0 metadata; no abstracts are shown), arXiv, and Papers With Code (CC BY-SA 4.0). Each count names its source. See the method.