Sixty Years of Stable Models

DOI10.1007/978-3-540-89982-2_9zbMATH Open1185.68174OpenAlexW1533262836MaRDI QIDQ5504645FDOQ5504645

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

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
• Forty-five years of A-stability

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)

Cited In (10)

• Title not available (Why is that?)
• To Vladimir Lifschitz on His 65th Birthday
• THE SAINT MODEL: A DECADE LATER
• Stable models and circumscription
• On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP
• Thirty years of G-stability
• Two Decades of SCN Modelling and Beyond
• SMS and ASP: Hype or TST?
• Proof theory of Nelson's paraconsistent logic: a uniform perspective
• Thirteen Definitions of a Stable Model

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)