References

Agre and Chapman, 1987

Agre, Philip (pagre@weber.ucsd.edu) and David Chapman (zvona@sail.stanford.edu): ``Pengi: An Implementation of a Theory of Activity'', AAAI National Conference, 1987. Morgan-Kaufman.

Hardy, 1937

Hardy, G. H. (1937): A course of pure mathematics, 7th ed., Cambridge University Press. The quotation is from the preface to the 7th edition.

McCarthy, 1959

McCarthy, John (1959): ``Programs with Common Sense'', in Proceedings of the Teddington Conference on the Mechanization of Thought Processes, Her Majesty's Stationery Office, London. Reprinted in [McCarthy, 1990].

McCarthy, 1962

McCarthy, John (1962): ``Computer Programs for Checking Mathematical Proofs'', Amer. Math. Soc. Proc. of Symposia in Pure Math., Vol. 5.

McCarthy and Hayes, 1969

McCarthy, John and P.J. Hayes: ``Some Philosophical Problems from the Standpoint of Artificial Intelligence'', in D. Michie (ed), Machine Intelligence 4, American Elsevier, New York, NY, 1969. Reprinted in [McCarthy, 1990].

McCarthy, 1979b

McCarthy, John (1979b): ``First Order Theories of Individual Concepts and Propositions'', in Michie, Donald (ed.) Machine Intelligence 9, (University of Edinburgh Press, Edinburgh). Reprinted in [McCarthy, 1990]..

McCarthy, 1989

McCarthy, John (1989): ``Artificial Intelligence and Logic'' in Thomason, Richmond (ed.) Philosophical Logic and Artificial Intelligence (Dordrecht ; Kluwer Academic, c1989).

McCarthy 94

McCarthy, John (1994): ``Situation Calculus with Concurrent Events and Narrative'', manuscript file, /u/jmc/e93/narrative.tex or with URL http://www-formal.stanford.edu/pub/jmc/narrative.dvi.

McCarthy, 1990

McCarthy, John (1990): Formalizing Common Sense, Ablex, Norwood, New Jersey, 1990.

Psygnosis 93

``Lemmings Manual'' - on-line document included with the game. The game may be purchased from computer stores or by calling the company at 44 (51) 709-5755 in England or 800 458-7794 in the U.S.

McCarthy, 1994b

McCarthy, John (1994b): ``Partial Formalizations and the Lemmings Game'', URL http://www-formal.stanford.edu/pub/jmc/lemmings.dvi. This is a reference to the present article.