next up previous
Next: About this document Up: Elephant 2000: A Programming Previous: Acknowledgements


Austin, J. L. (1962): How to Do Things with Words, Oxford.

Dorschel, Andreas (1989): ``What is it to Understand a Directive Speech Act?'', Australasian Journal of Philosophy, Vol. 67, No. 3, September 1989.

Francez, Nissim and Amir Pnueli (1978): ``A Proof Method for Cyclic Programs'', Acta Informatica 9, 133-157.

Francez, Nissim (1976): The Analysis of Cyclic Programs, PhD Thesis, Weizmann Institute of Science, Rehovot, Israel.

Francez, Nissim (1978): ``An Application of a Method for Analysis of Cyclic Programs'', IEEE Transactions on Software Engineering, vol. SE-4, No. 5, pp. 371-378, September 1978.

Grice, Paul (1989): Studies in the Way of Words, Harvard University Press. This is a collection of his papers.

McCarthy, John (1963): ``Towards a Mathematical Theory of Computation'', in Proc. IFIP Congress 62, North-Holland, Amsterdam.

McCarthy, John (1967): ``Correctness of a Compiler for Arithmetic Expresions'' (with James Painter), Proceedings of Symposia in Applied Mathematics, Volume XIX, American Mathematical Society.

McCarthy, John (1979a): ``Ascribing Mental Qualities to Machines'' in Philosophical Perspectives in Artificial Intelligence, Ringle, Martin (ed.), Harvester Press, July 1979.

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

McCarthy, John (1982): ``Common Business Communication Language'', in Textverarbeitung und Bürosysteme, Albert Endres and Jürgen Reetz, eds. R. Oldenbourg Verlag, Munich and Vienna 1982.

McCarthy, John (1986): ``Applications of Circumscription to Formalizing Common Sense Knowledge'' Artificial Intelligence, April 1986

Newell, Allen (1982): ``The Knowledge Level,'' Artificial Intelligence, 18, 87-127.

Searle, John R. (1969): Speech Acts Cambridge, Eng., Univ. Press.

Searle, John R. (1984): Minds, Brains, and Science, Cambridge, Mass. : Harvard University Press, 1984.

Searle, John R. and Daniel Vanderveken (1985): Foundations of Illocutionary Logic, Cambridge, Eng., Univ. Press.

This draft of /u/jmc/w93/elephant.tex TeXed on

JanFebMarAprMayJun JulAugSepOctNovDec at :< 10 0 . This file originated on 10-Jun-89

/ begun 1993 Mar 2, LaTeXed

JanFebMarAprMayJun JulAugSepOctNovDec at :< 10 0

next up previous
Next: About this document Up: Elephant 2000: A Programming Previous: Acknowledgements

John McCarthy
Fri Nov 6 21:37:30 PST 1998