Abstract
In this chapter and the next, we discuss the mathematical definition of a stable model. In the process, we introduce a few syntactic features of the input language of clingo that have not been mentioned earlier.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Change history
20 November 2019
The book was inadvertently published with an incorrect format for table as
References
Artificial Intelligence, 13(1,2), 1980.
Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, and Torsten Schaub. Abstract gringo. Theory and Practice of Logic Programming, 15:449–463, 2015.
W.L. Harper, G.A. Pearce, and R. Stalnaker, editors. IFS: Conditionals, Belief, Decision, Chance and Time. Springer, 1980.
Vladimir Lifschitz. Intelligent instantiation and supersafe rules. In Technical Communications of the 28th International Conference on Logic Programming (ICLP), 2016.
John McCarthy. Circumscription—a form of non-monotonic reasoning. Artificial Intelligence, 13:27–39,171–172, 1980.
John McCarthy. Applications of circumscription to formalizing common sense knowledge. Artificial Intelligence, 26(3):89–116, 1986.
Emil Post. Introduction to a general theory of elementary propositions. American Journal of Mathematics, 43(1):163–185, 1921.
Ludwig Wittgenstein. Tractatus Logico-philosophicus. International library of psychology, philosophy, and scientific method. Harcourt, Brace & Company, 1922.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Lifschitz, V. (2019). Propositional Programs and Minimal Models. In: Answer Set Programming. Springer, Cham. https://doi.org/10.1007/978-3-030-24658-7_4
Download citation
DOI: https://doi.org/10.1007/978-3-030-24658-7_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-24657-0
Online ISBN: 978-3-030-24658-7
eBook Packages: Computer ScienceComputer Science (R0)