References

Davis, 1990

Davis, E. (1990). Representations of commonsense knowledge. Morgan Kaufmann.

Elkan and Greiner, 1993

Elkan, C. and Greiner, R. (1993). Book Review of Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project (D.B. Lenat and R.V. Guha). Artificial Intelligence, 61.

Gazzaniga, 1985

Gazzaniga, M. S. (1985). The social brain: discovering the networks of the mind. Basic Books.

Gödel, 1962

Gödel, K. (1992, c1962). On formally undecidable propositions of principia mathematica and related systems. Dover.

Guha and Lenat, 1993

Guha, R. and Lenat, D. (1993). Re: Cycling paper reviews (response). Artificial Intelligence, 61.

Guha and Lenat, 1990

Guha, R. V. and Lenat, D. B. (1990). Cyc: A midterm report. AI Magazine, 11(3).

Hausser, 1989

Hausser, R. (1989). Computation of language: an essay on syntax, semantics and pragmatics in natural man-machine communication. Springer Verlag.

Hofstadter and Dennett, 1981

Hofstadter, D. R. and Dennett, D. C. (1981). The mind's I: fantasies and reflections on self and soul. Basic Books.

Johnson, 1987

Johnson, M. (1987). The body in the mind: the bodily basis of meaning, imagination and reason. University of Chicago Press.

Kurzweil, 1990

Kurzweil, R. (1990). The age of intelligent machines. MIT Press.

Lakoff, 1987

Lakoff, G. (1987). Women, fire, and dangerous things: what categories reveal about the mind. University of Chicago Press.

Lenat and Feigenbaum, 1991

Lenat, D. and Feigenbaum, E. (1991). On the thresholds of knowledge. Artificial Intelligence, 47.

Lenat, 1996

Lenat, D. B. (1996). Cycorp, inc. homepage. http://www.cyc.com/.

Lenat and Guha, 1990

Lenat, D. B. and Guha, R. V. (1990). Building large knowledge-based systems: representation and inference in the Cyc project. Addison-Wesley.

Lenat et al., 1986

Lenat, D. B., Prakash, M., and Shepherd, M. (1986). Cyc: using common sense knowledge to overcome brittleness and knowledge acquisition bottlenecks. AI Magazine, 6(4).

McAllester, 1991

McAllester, D. (1991). Observations on cognitive judgements. MIT AI Memo 1340.

McCarthy and Hayes, 1969

McCarthy, J. and Hayes, P. J. (1969). Some philosophical problems from the standpoint of artificial intelligence. In Meltzer, B. and Michie, D., editors, Machine Intelligence, volume 4. Edinburgh University Press.

McDermott, 1993

McDermott, D. (1993). Book Review of Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project (D.B. Lenat and R.V. Guha). Artificial Intelligence, 61.

Minsky, 1974

Minsky, M. L. (1974). A framework for representing knowledge. MIT AI Memo 306.

Montague, 1974

Montague, R. (1974). Formal Philosophy. Yale University Press.

Neches, 1993

Neches, R. (1993). Book Review of Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project (D.B. Lenat and R.V. Guha). Artificial Intelligence, 61.

Papert, 1980

Papert, S. (1980). Mindstorms: children, computers, and powerful ideas. Basic Books.

Polya, 1954

Polya, G. (1954). Mathematics and plausible reasoning. Princeton University Press.

Putnam, 1981

Putnam, H. (1981). Reason, truth and history. Cambridge University Press.

Rao, 1995a

Rao, S. (1995a). Multiple representational systems. Unpublished paper.

Rao, 1995b

Rao, S. (1995b). A visuospatial representational system. MIT PhD proposal.

Rao, 1996

Rao, S. (1996). Personal communication.

Russell, 1945

Russell, B. (1945). A history of western philosophy. Simon and Schuster.

Searle, 1980

Searle, J. (1980). Minds, brains, and programs. Behavioral and brain sciences, 3.

Skuce, 1993

Skuce, D. (1993). Book Review of Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project (D.B. Lenat and R.V. Guha). Artificial Intelligence, 61.

Smith, 1991

Smith, B. C. (1991). The owl and the electric encylopedia. Artificial Intelligence, 47.

Sowa, 1993

Sowa, J. F. (1993). Book Review of Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project (D.B. Lenat and R.V. Guha). Artificial Intelligence, 61.

Stevenson, 1996

Stevenson, D. C. (1996). The tech classics archive. http://the-tech.mit.edu/Classics/.

Stipp, 1995

Stipp, D. (1995). 2001 is just around the corner. Where's Hal? Fortune.

Tarski, 1935

Tarski, R. (1935). Der wahrheitsbegriff in den formalisierten sprachen. Studia Philosophica, 1.

Tuttle, 1993

Tuttle, M. S. (1993). Book Review of Representations of Commonsense Knowledge (E. Davis) and Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project (D.B. Lenat and R.V. Guha). Artificial Intelligence, 61.

Whitten, 1996

Whitten, D. (1996). The unofficial, unauthorized cyc frequently asked questions information sheet. http://www.cais.com/wcmac/cyc/cyc-faq.text.

Winston, 1992

Winston, P. H. (1992). Artificial Intelligence. Addison-Wesley, 3rd edition.