Propositional Programs and Minimal Models

  • Vladimir Lifschitz


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.


  1. 2.
    Artificial Intelligence, 13(1,2), 1980.Google Scholar
  2. 44.
    Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, and Torsten Schaub. Abstract gringo. Theory and Practice of Logic Programming, 15:449–463, 2015.MathSciNetCrossRefGoogle Scholar
  3. 62.
    W.L. Harper, G.A. Pearce, and R. Stalnaker, editors. IFS: Conditionals, Belief, Decision, Chance and Time. Springer, 1980.Google Scholar
  4. 81.
    Vladimir Lifschitz. Intelligent instantiation and supersafe rules. In Technical Communications of the 28th International Conference on Logic Programming (ICLP), 2016.Google Scholar
  5. 91.
    John McCarthy. Circumscription—a form of non-monotonic reasoning. Artificial Intelligence, 13:27–39,171–172, 1980.Google Scholar
  6. 92.
    John McCarthy. Applications of circumscription to formalizing common sense knowledge. Artificial Intelligence, 26(3):89–116, 1986.MathSciNetCrossRefGoogle Scholar
  7. 105.
    Emil Post. Introduction to a general theory of elementary propositions. American Journal of Mathematics, 43(1):163–185, 1921.MathSciNetCrossRefGoogle Scholar
  8. 120.
    Ludwig Wittgenstein. Tractatus Logico-philosophicus. International library of psychology, philosophy, and scientific method. Harcourt, Brace & Company, 1922.Google Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  • Vladimir Lifschitz
    • 1
  1. 1.Department of Computer ScienceUniversity of Texas at AustinAustinUSA

Personalised recommendations