next up previous
Next: About this document ... Up: NOTES ON FORMALIZING CONTEXT Previous: Acknowledgments


Buvac and Mason, 1993
Saša Buvac and Ian A. Mason.: ``Propositional logic of context'', in Proceedings of the Eleventh National Conference on Artificial Intelligence, 1993. To appear.

Guha, 1991
Guha, R. V.: Contexts: A Formalization and Some Applications, Stanford PhD Thesis, 1991.

Ketonen and Weening, 1984
Ketonen, Jussi and Joseph S. Weening: EKL--An Interactive Proof Checker: User's Reference Manual, Computer Science Department, Stanford University, Stanford, California, 1984.

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, 1979a
McCarthy, John (1979a): ``Ascribing Mental Qualities to Machines'' in Philosophical Perspectives in Artificial Intelligence, Ringle, Martin (ed.), Harvester Press, July 1979. 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, 1987
McCarthy, John (1987): ``Generality in Artificial Intelligence'', Communications of the ACM. Vol. 30, No. 12, pp. 1030-1035. Also in ACM Turing Award Lectures, The First Twenty Years, ACM Press, 1987. Reprinted in [McCarthy, 1990]..

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

Quine, 1969
Quine, W. V. O.: ``Propositional Objects'', in Ontological Relativity and other Essays, Columbia University Press, New York, 1969.

Shoham, 1991
Shoham, Y.: ``Varieties of Context'', in Artificial Intelligence and Mathematical Theories of Computation, Academic Press, San Diego and London, 1991.

/ created 1991 winter, latexed JanFebMarAprMayJun JulAugSepOctNovDec at :< 10 0

John McCarthy