**Cos97**-
Tom Costello.
*Non-monotonicity and Change*. PhD thesis, Stanford University, 1997. **Cos98a**-
Tom Costello.
Domain Formula Circumscription.
*Journal of Logic Language and Information*, 1998. to appear. **Cos98b**-
Tom Costello.
Minimizing the Effects of Actions.
In
*Proceedings of the Fifth International Symposium on Commonsense Reasoning*, 1998. **GLR91**-
Michael Gelfond, Vladimir Lifschitz, and Arkady Rabinov.
What are the limitations of the situation calculus?
In Robert Boyer, editor,
*Automated Reasoning: Essays in Honor of Woody Bledsoe*, pages 167-179. Kluwer Academic, Dordrecht, 1991. **KS97**-
R. Kowalski and F. Sadri.
Reconciling the Situation Calculus and Event Calculus.
*Journal of Logic Programming*, 31:39-58, 1997. **McC59**-
John McCarthy.
Programs with Common Sense.
In
*Mechanisation of Thought Processes, Proceedings of the Symposium of the National Physics Laboratory*, pages 77-84, London, U.K., 1959. Her Majesty's Stationery Office. Reprinted in McC90. **McC63**-
J. McCarthy.
Situations, Actions and Causal Laws.
Technical Report Memo 2, Stanford University Artificial Intelligence
Project, Stanford, CA, 1963.
**McC89**-
John McCarthy.
Artificial intelligence, logic and formalizing common sense.
In Richmond Thomason, editor,
*Philosophical Logic and Artificial Intelligence*. Klüver Academic, 1989. **McC92**-
John McCarthy.
Overcoming an Unexpected Obstacle.
Available as http://www-formal.stanford.edu/jmc/elaboration.html,
1992.
**McC95**-
John McCarthy.
Situation Calculus with Concurrent Events and
Narrative.
1995.
Contents subject to change. URL will remain.
**MH69**-
J. McCarthy and P. Hayes.
Some Philosophical Problems from the Standpoint of Artificial
Intelligence.
In D. Michie, editor,
*Machine Intelligence 4*, pages 463-502. Edinburgh University Press, Edinburgh, UK, 1969. **PR95**-
J. Pinto and R. Reiter.
Reasoning about Time in the Situation Calculus.
*Annals of Mathematics and Artificial Intelligence*, 14(2-4):251-268, September 1995. **Rei91**-
R. Reiter.
The frame problem in the situation calculus: A simple solution
(sometimes) and a completeness result for goal regression.
In V. Lifschitz, editor,
*Artificial Intelligence and Mathematical Theory of Computation*, pages 359-380. Academic Press, 1991. **Rei93**-
R. Reiter.
Proving properties of states in the situation calculus.
*Artificial Intelligence*, 64(2):337-351, December 1993. **Sha97**-
Murray Shanahan.
*Solving the Frame Problem, a mathematical investigation of the common sense law of inertia*. M.I.T. Press, 1997.

Thu Jul 8 18:10:07 PDT 1999