Sixty Years of Stable Models
From MaRDI portal
Publication:5504645
Recommendations
- scientific article; zbMATH DE number 800808
- Sixty years of stochastic linearization technique
- Stable models and circumscription
- The family of stable models
- On stability in finite models
- scientific article; zbMATH DE number 5903102
- Some lessons from sixty years of theorizing
- scientific article; zbMATH DE number 5913551
- Forty-five years of A-stability
Cited in
(10)- Two Decades of SCN Modelling and Beyond
- To Vladimir Lifschitz on His 65th Birthday
- Thirteen Definitions of a Stable Model
- Stable models and circumscription
- THE SAINT MODEL: A DECADE LATER
- Thirty years of G-stability
- scientific article; zbMATH DE number 5903102 (Why is no real title available?)
- SMS and ASP: Hype or TST?
- On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP
- Proof theory of Nelson's paraconsistent logic: a uniform perspective
This page was built for publication: Sixty Years of Stable Models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5504645)