References

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.