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
/@steam.stanford.edu:/u/jmc/w93/elephant.tex: begun 1993 Mar 2, LaTeXed
JanFebMarAprMayJun JulAugSepOctNovDec at :< 10 0