References

Buvac and Mason, 1993

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

Gelfond, Lifschitz and Rabinov, 1991

Gelfond, M., Lifschitz, V. and A. Rabinov.: ``What Are the Limitations of the Situation Calculus?'', in Automated Reasoning: Essays in Honor of Woody Bledsoe, Robert S. Boyer, (ed.), Kluwer Academic Publishers, Dordrecht, Boston and London.

Ginsberg, 1987

Ginsberg, Matthew. Readings in Non-Monotonic Reasoning. Los Altos, CA: Morgan Kaufmann.

Guha, 1991

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

Lenat and Guha, 1990

Lenat, Douglas and R. V. Guha: ``"Building Large Knowledge Based Systems: Representation and Inference in the Cyc Project'', Addison-Wesley, 1990.

Lifschitz, 1993

Lifschitz, Vladimir ``Circumscription'', in Handbook of Logic for Artificial Intelligence and Logic Programming, Vol. 3, Oxford University Press, 1993.

McCarthy, 1959

McCarthy, John (1959): ``Programs with Common Sense'', in Proceedings of the Teddington Conference on the Mechanization of Thought Processes, Her Majesty's Stationery Office, London.

McCarthy, 1977

McCarthy, John (1977): ``Epistemological Problems of Artificial Intelligence'', in Proceedings of the Fifth International Joint Conference on Artificial Intelligence, M.I.T., Cambridge, Mass.

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.

McCarthy, 1993

McCarthy, John: ``Notes on the Formalization of Context'',Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, Los Altos, CA, Morgan-Kaufmann.

Minsky, 1975

Minsky, Marvin: ``A Framework for Representing Knowledge'', in Winston, Patrick (ed.) The Psychology of Computer Vision, 211-277, New York, McGraw-Hill.

Newell, 1982

Newell, Allen: ``The Knowledge Level'', Artificial Intelligence 18 pp. 87-127.

Newell, 1992

Newell, Allen: Unified Theories of Cognition, Harvard 1992.

Newell, 1992

Newell, Allen: ``Reflections on the Knowledge Level'', Artificial Intelligence 59 pp. 31-38.

/@sail.stanford.edu:/u/ftp/pub/jmc/reviews/dreyfus.tex: begun 1993 Mar 3, LaTeXed

JanFebMarAprMayJun JulAugSepOctNovDec at :< 10 0