next up previous
Next: APPENDIX Up: Combining Narratives Previous: Acknowledgments


Tom Costello. Non-monotonicity and Change. PhD thesis, Stanford University, 1997.

Tom Costello. Domain Formula Circumscription. Journal of Logic Language and Information, 1998. to appear.

Tom Costello. Minimizing the Effects of Actions. In Proceedings of the Fifth International Symposium on Commonsense Reasoning, 1998.

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.

R. Kowalski and F. Sadri. Reconciling the Situation Calculus and Event Calculus. Journal of Logic Programming, 31:39-58, 1997.

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.

J. McCarthy. Situations, Actions and Causal Laws. Technical Report Memo 2, Stanford University Artificial Intelligence Project, Stanford, CA, 1963.

John McCarthy. Artificial intelligence, logic and formalizing common sense. In Richmond Thomason, editor, Philosophical Logic and Artificial Intelligence. Klüver Academic, 1989.

John McCarthy. Overcoming an Unexpected Obstacle. Available as, 1992.

John McCarthy. Situation Calculus with Concurrent Events and Narrative. 1995. Contents subject to change. URL will remain.

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.

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.

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.

R. Reiter. Proving properties of states in the situation calculus. Artificial Intelligence, 64(2):337-351, December 1993.

Murray Shanahan. Solving the Frame Problem, a mathematical investigation of the common sense law of inertia. M.I.T. Press, 1997.

John McCarthy
Thu Jul 8 18:10:07 PDT 1999