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


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

Sasa Buvac. Sasa buvac's web page, 1995.

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.

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.

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

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].

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

John McCarthy. Notes on formalizing context. In IJCAI-93, 1993. Available on

John McCarthy. Making robots conscious of their mental states. In Stephen Muggleton, editor, Machine Intelligence 15. Oxford University Press, 1996. to appear, available on

/ begun 1995 Sep 22, latexed

JanFebMarAprMayJun JulAugSepOctNovDec at :< 10 0

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