Sixty Years of Stable Models

DOI10.1007/978-3-540-89982-2_9MaRDI QIDQ5504645zbMATH OpenOpenAlexFDO

Authors

Publication date 22 January 2009

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-89982-2_9

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of computer science (68-03) Logic programming (68N17) Semantics in the theory of computing (68Q55)

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)

• Thirty years of G-stability
• To Vladimir Lifschitz on His 65th Birthday
• scientific article; zbMATH DE number 5903102 (Why is no real title available?)
• Two Decades of SCN Modelling and Beyond
• Thirteen Definitions of a Stable Model
• Stable models and circumscription
• SMS and ASP: Hype or TST?
• On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP
• THE SAINT MODEL: A DECADE LATER
• 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)