References

aA01

Texas Action Group at Austin. Causal calculator home page, 2001. http://www.cs.utexas.edu/users/tag/cc.

Lif94

Vladimir Lifschitz. Circumscription. In J. A. Robinson Dov M. Gabbay, C. J. Hogger, editor, Handbook of logic in artificial intelligence and logic programmin, volume 3, pages 297-352. Oxford, 1994.

LR94

Fangzhen Lin and Ray Reiter. State constraints revisited. Journal of Logic and Computation, 4:655-678, 1994.

LS95

Fangzhen Lin and Yoav Shoham. Provably correct theories of action. Journal of the ACM, 42(2):293-320, March 1995.

MC98

John McCarthy and Tom Costello. Combining narratives. In Proceedings of Sixth Intl. Conference on Principles of Knowledge Representation and Reasoning, pages 48-59. Morgan-Kaufman, 1998.

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

John McCarthy. Situations, actions and causal laws. Technical Report Memo 2, Stanford University Artificial Intelligence Laboratory, Stanford, CA, 1963. Reprinted in [Min68].

McC86

John McCarthy. Applications of Circumscription to Formalizing Common Sense Knowledge. Artificial Intelligence, 28:89-116, 1986. Reprinted in [McC90].

McC90

John McCarthy. Formalizing Common Sense: Papers by John McCarthy. Ablex Publishing Corporation, 1990.

McC92

John McCarthy. Overcoming unexpected obstacles, http://www-formal.stanford.edu/jmc/glasgow.html. Web only, 1992.

McC95

John McCarthy. Situation Calculus with Concurrent Events and Narrative. 1995. Web only, partly superseded by [MC98].

McC99

John McCarthy. Elaboration tolerance. web only for now, 1999.

MH69

John McCarthy and Patrick J. Hayes. Some Philosophical Problems from the Standpoint of Artificial Intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence 4, pages 463-502. Edinburgh University Press, 1969. Reprinted in [McC90].

Min68

Marvin Minsky, editor. Semantic information processing. MIT Press, 1968.

Pin98a

Javier A. Pinto. Concurrent actions and interacting effects. In Anthony G. Cohn, Lenhart Schubert, and Stuart C. Shapiro, editors, KR'98: Principles of Knowledge Representation and Reasoning, pages 292-303. Morgan Kaufmann, San Francisco, California, 1998.

Pin98b

Javier A. Pinto. Occurrences and narratives as constraints in the branching structure of the situation calculus. Journal of Logic and Computation, 8(6):777-808, 1998.

Rei01

Raymond Reiter. Knowledge in Action. M.I.T. Press, 2001.

RM94

R.S.Miller and M.P.Shanahan. Narratives in the situation calculus. Journal of Logic and Computation, 4(5):513-530, 1994.

Sha97

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

Sho88

Yoav Shoham. Chronological ignorance: Experiments in nonmonotonic temporal reasoning. Artificial Intelligence, 36(3):279-331, 1988.