Stable models are generated by a stable chain

DOI10.1016/S0743-1066(96)00106-9MaRDI QIDQ4365060zbMATH OpenWikidataFDO

Authors Heinrich Herre, Gerd Wagner

Publication date 2 June 1998

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0743-1066(96)00106-9

zbMATH Keywords

stable model semantics

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• Stable models and circumscription
• scientific article; zbMATH DE number 1877044
• scientific article; zbMATH DE number 800808
• The family of stable models
• Publication:4507831
• On the minimality of stable models
• Deterministic and non-deterministic stable models
• Homogeneous models of stable theories

Cited in

(1)

• scientific article; zbMATH DE number 1696793 (Why is no real title available?)

This page was built for publication: Stable models are generated by a stable chain

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4365060)