References

aA01

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

GS88

Matthew L. Ginsberg and David E. Smith. Reasoning about action I: A possible worlds approach. Artificial Intelligence, 35(2):165-195, 1988.

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.

Lin98

Fangzhen Lin. On the relationships between static and dynamic causal rules in the situation calculus. In Charles L. Ortiz, Jr., editor, Working Notes of the AAAI Spring Symposium on Prospects for a Commonsense Theory of Causation, pages 38-43, Menlo Park, CA, 1998. American Association for Artificial Intelligence.

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. 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.

McI00

Sheila A. McIlraith. An axiomatic solution to the ramification problem (sometimes). Artificial Intelligence, 116(1-2):87-121, 2000.

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.