next up previous
Next: About this document Up: A LOGICAL AI APPROACH Previous: Remarks

References

BBM95
Sasa Buvac, Vanja Buvac, and Ian A. Mason. Metamathematics of contexts. Fundamenta Informaticae, 23(3), 1995.

Buv95
Sasa Buvac. Sasa buvac's web page, 1995. http://www-formal.stanford.edu/buvac/.

Buv96
Sasa Buvac. Resolving lexical ambiguity using a formal theory of context. In Semantic Ambiguity and Underspecification. CSLI Lecture Notes, Center for Studies in Language and Information, Stanford, CA, 1996.

Guh91
R. V. Guha. Contexts: A Formalization and Some Applications. PhD thesis, Stanford University, 1991. Also published as technical report STAN-CS-91-1399-Thesis, and MCC Technical Report Number ACT-CYC-423-91.

MB94
John McCarthy and Sasa Buvac. Formalizing Context (Expanded Notes). Technical Note STAN-CS-TN-94-13, Stanford University, 1994.

McC79
John McCarthy. First order theories of individual concepts and propositions. In Donald Michie, editor, Machine Intelligence, volume 9. Edinburgh University Press, Edinburgh, 1979. Reprinted in [McC90].

McC90
John McCarthy. Formalizing Common Sense: Papers by John McCarthy. Ablex Publishing Corporation, 355 Chestnut Street, Norwood, NJ 07648, 1990.

McC93
John McCarthy. Notes on formalizing context. In IJCAI-93, 1993. Available on http://www-formal.stanford.edu/jmc/.

McC96
John McCarthy. Making robots conscious of their mental states. In Stephen Muggleton, editor, Machine Intelligence 15. Oxford University Press, 1996. to appear, available on http://www-formal.stanford.edu/jmc/.

/@steam.stanford.edu:/u/jmc/f95/context.tex: begun 1995 Sep 22, latexed

JanFebMarAprMayJun JulAugSepOctNovDec at :< 10 0


John McCarthy
Wed Feb 28 22:47:51 PST 1996