Vladimir Lifschitz: Formalizing Common Sense Knowledge: An Introduction
Gelfond, Lifschitz, Rabinov: What Are the Limitations of the Situation Calculus, Automated Reasoning Essays in Honor of Woody Bledsoe, 1991.
G. Neelakantan Kartha, Vladimir Lifschitz: A simple formalization of actions using circumscription, Proceedings of the 14th International Joint Conference on Artificial Intelligence, 2nd volume, 1995, pp.~1970-1975.
John McCarthy: Situation Calculus with Concurrent Events and Narrative
Andrew B.~Baker: Nonmonotonic reasoning in the framework of situation calculus, Artificial Intelligence 49 (1991) 5-23.
Fangzhen Lin, Ray Reiter: State Constraints Revisited, Journal of Logic and Computation. Special Issue on Actions and Processes. 1994.
Murray Shanahan: A circumscriptive calculus of events, Artificial Intelligence 77 (1995), 249-284.
Murray Shanahan: Default reasoning about spatial occcupancy, Artificial Intelligence 74 (1995), 147-163
G. Neelakantan Kartha: Soundness and completeness theorems for three formalizations of action, Proceedings of the 13th International Joint Conference on Artificial Intelligence, 1st volume, 1993, pp.~724-729.
Patrick Doherty, Witold Lukaszewicz, Andzej Szalas: Computing Circumscription Revisited: Preliminary Report, Proceedings of the 14th International Joint Conference on Artificial Intelligence, 2nd volume, 1995, pp.~1502-1508.
Sarit Kraus, Daniel Lehmann, Menachem Magidor: Nonmonotonic Reasoning, Preferential Models and Cumulative Logics, Artificial Intelligence 44 (1990), 167-207.
Vladimir Lifschitz: Netsted abnormality theories, Artificial Intelligence 74 (1995), 351-366.
Ray Reiter: A Logic for Default Reasoning, Artificial Intelligence 13 (1980), 81-132.
McCarthy, Buvac: Formalizing Context (Expanded Notes)
Sasa Buvac: Quantificational Logic of Context
