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.
/@sail.stanford.edu:/u/ftp/pub/jmc/context-2.tex: created 1991 winter, latexed
JanFebMarAprMayJun
JulAugSepOctNovDec at :< 10 0
John McCarthy
2005-04-13