next up previous contents
Next: About this document Up: PARTIAL FORMALIZATIONS AND THE Previous: References


Agre and Chapman, 1987
Agre, Philip ( and David Chapman ( ``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

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 This is a reference to the present article.

John McCarthy
Mon Mar 2 16:21:50 PDT 1998