From Felicitous Models to Answer Set Programming (2021)
Felicitous models were defined by Kit Fine in 1987 for the purpose of describing the semantics of negation in the programming language Prolog. This is an expository article about that invention, and about the events in the area of computer science that followed. Sophisticated software systems for generating felicitous models have been designed, and they became the basis of a new knowledge representation paradigm, called answer set programming. That methodology is used today for encoding and solving computational problems in many areas of science and technology.
To Appear In Kit Fine on Truthmakers, Relevance, and Non-Classical Logic, 2021. Springer.

Vladimir Lifschitz Faculty vl [at] cs utexas edu