John McCarthy (mccarthy-j)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Alderete, John, Beckman, Jill N., Benula, Laura, Gnanadesikan, Amalia, McCarthy, John and Urbanczyk, Suzanne. 1999. “Reduplication with Fixed Segmentation.” Linguistic Inquiry 30(3): 327–364.
Buvač, Saša and McCarthy, John. 1996. “Combining Planning Contexts.” in Advanced Planning Technology: Technological Achievements of the ARPA/Rome Laboratory Planning Initiative, edited by Austin Tate. Menlo Park, California: The AAAI Press.
Doherty, Patrick, McCarthy, John and Williams, Mary-Anne, eds. 2003. AAAI-03. Working Papers of the 2003 AAAI Spring Symposium on Logical Formalization of Commonsense Reasoning. Menlo Park, California: The AAAI Press.
Guha, Ramanathan V. and McCarthy, John. 2003. “Varieties of Context.” in CONTEXT’03. Modeling and Using Context: Proceedings of the Fourth International and Interdisciplinary Conference, edited by Patrick Blackburn, Fausto Giunchiglia, Chiara Ghidini, and Roy M. Turner, pp. 164–177. Lecture Notes in Computer Science n. 2680. Berlin: Springer.
Lifschitz, Vladimir, McCarthy, John, Morgenstern, Leora and Shoham, Yoav, eds. 1993. Proceedings of the Second Symposium on Logical Formalizations of Commonsense Reasoning. Menlo Park, California: The AAAI Press.
McCarthy, John. 1959. “Programs with Common Sense.” in Proceedings of the Teddington Conference on the Mechanization of Thought Processes, pp. 75–91. London: Her Majesty’s Stationary Office. reprinted in Lifschitz (1990, 9–20) and in Brachman and Levesque (1995, 300–307).
McCarthy, John. 1963. “A Basis for a Mathematical Theory of Computation.” in Computer Programming and Formal Systems, edited by P. Braffort and D. Hirschberg, pp. 33–70. Studies in Logic and the Foundations of Mathematics n. 35. Amsterdam: North-Holland Publishing Co.
McCarthy, John. 1968. “Programs with Common Sense.” in Semantic Information Processing, edited by Marvin L. Minsky, pp. 403–418. Cambridge, Massachusetts: The MIT Press.
McCarthy, John. 1974. “Review of Lighthill (1973).” Artificial Intelligence 5(3): 317–322. Reprinted in Lifschitz (1990, 64–69).
McCarthy, John. 1979a. “Ascribing Mental Qualities to Machines.” in Philosophical Perspectives in Artificial Intelligence, edited by Martin H. Ringle, pp. 161–195. Atlantic Highlands, New Jersey: Humanities Press. Reprinted in Lifschitz (1990, 93–118).
McCarthy, John. 1979b. “First Order Theories of Individual Concepts and Propositions.” in Machine Intelligence 9: Machine Expertise and the Human Interface, edited by Jean Elisabeth Hayes, Ellis Horwood, and L. I. Mikulich, pp. 129–148. Hoboken, New Jersey: John Wiley; Sons, Inc. Reprinted in Lifschitz (1990, 119–141).
McCarthy, John. 1980. “Circumscription – A Form of Non-Monotonic Reasoning.” Artificial Intelligence 13(1–2): 27–39. Reprinted in Ginsberg (1987, 145–152) and in Lifschitz (1990, 142–157).
McCarthy, John. 1982. “The Common Business Communication Language.” in Textverarbeitung und Bürosysteme, edited by A. Endres and J. Reetz, pp. 71–74. München: R. Oldenbourg Verlag. Reprinted in Lifschitz (1990, 175–186).
McCarthy, John. 1983a. “AI Needs More Emphasis on Basic Research.” The AI Magazine 4. Reprinted in Lifschitz (1990, 187–188).
McCarthy, John. 1983b. “The Little Thoughts of Thinking Machines.” Psychology Today 17(12). Reprinted in Lifschitz (1990, 179–186).
McCarthy, John. 1984. “Some Expert Systems Need Common Sense.” in Computer Culture: the Scientific, Intellectual and Social Impact of the Computer, edited by H. Pagels, pp. 129–137. Annals of the New York Academy of Science. New York: New York Academy of Sciences. Reprinted in Lifschitz (1990, 189–197).
McCarthy, John. 1986a. “Epistemological Problems of Artificial Intelligence.” in AAAI-86. Proceedings of the Fifth National Conference on Artificial Intelligence, edited by Tom Kehler and Stanley J. Rosenschein, pp. 1038–1044. Menlo Park, California: The AAAI Press. Reprinted in Webber and Nilsson (1981, 459–472), Ginsberg (1987, 46–55), Lifschitz (1990, 77–92) and Brachman and Levesque (1995, 23–30).
McCarthy, John. 1986b. “Applications of Circumscription to Formalizing Common Sense Knowledge.” Artificial Intelligence 28(1). Reprinted in Ginsberg (1987, 153–166) and in Lifschitz (1990, 198–225).
McCarthy, John. 1987. “Generality in Artificial Intelligence.” Communications of the Association for Computing Machinery 30(12): 1030–1035. Reprinted in Lifschitz (1990, 226–236).
McCarthy, John. 1988. “Mathematical Logic in Artificial Intelligence.” Daedalus 117: 297–311. Reprinted in Lifschitz (1990, 237–249).
McCarthy, John. 1989. “Artificial Intelligence, Logic, and Formalizing Common Sense.” in Philosophical Logic and Artificial Intelligence, edited by Richmond H. Thomason, pp. 161–190. Dordrecht: Kluwer Academic Publishers.
McCarthy, John. 1990a. “An Example for Natural Language Understanding and the AI Problems it Raises.” in Formalizing Common Sense: Papers by John McCarthy, edited by Vladimir Lifschitz, pp. 70–76. Norwood, New Jersey: Ablex Publishing Co.
McCarthy, John. 1990b. “Formalization of Two Puzzles Involving Knowledge.” in Formalizing Common Sense: Papers by John McCarthy, edited by Vladimir Lifschitz, pp. 158–166. Norwood, New Jersey: Ablex Publishing Co.
McCarthy, John. 1990c. “Coloring Maps and the Kowalski Doctrine.” in Formalizing Common Sense: Papers by John McCarthy, edited by Vladimir Lifschitz, pp. 167–174. Norwood, New Jersey: Ablex Publishing Co.
McCarthy, John. 1993a. “History of Circumscription.” Artificial Intelligence 59(1–2): 23–26.
McCarthy, John. 1993b. “Notes on Formalizing Contexts.” in IJCAI-94. Proceedings of the 13th International Joint Conference on Artificial Intelligence, edited by Ruzena Bajcsy, pp. 555–560. San Francisco, California: Morgan Kaufmann Publishers.
McCarthy, John. 1995a. “What has AI in Common with Philosophy?” in IJCAI-95. Proceedings of the 14th International Joint Conference on Artificial Intelligence, edited by Christopher S. Mellish and C. Raymond Perrault. San Francisco, California: Morgan Kaufmann Publishers.
McCarthy, John. 1995b. “Situation Calculus with Concurrent Events and Narrative.” Available by anonymous ftp at sail.stanford.edu. This paper is labled “Non Citable Draft.” It should not be quoted.
McCarthy, John. 1995d. “Making Robots Conscious of Their Mental States.” in AAAI-95. Working Notes of the AAAI Spring Symposium on Representing Mental States and Mechanisms, edited by Michael T. Cox and Michael Freed. Menlo Park, California: The AAAI Press. Reprinted in Muggleton (1996).
McCarthy, John. 1996a. “From Here to Human-Level AI.” in KR’96: Principles of Knowledge Representation and Reasoning, edited by Luigia Carlucci Aiello, Jon Doyle, and Stuart C. Shapiro, pp. 640–646. San Francisco, California: Morgan Kaufmann Publishers.
McCarthy, John. 1996b. “Review of Dreyfus (1992).” Artificial Intelligence 80(1): 143–150.
McCarthy, John. 1997. “Modality Si! Modal Logic, No!” Studia Logica: An International Journal for Symbolic Logic 59(1): 29–32.
McCarthy, John. 1998. “Approximate Theories Involving Causality.” in AAAI-98. Working Notes of the AAAI Spring Symposium on Prospects for a Commonsense Theory of Causation, edited by Charles L. Ortiz Jr., pp. 52. Menlo Park, California: The AAAI Press. Abstract.
McCarthy, John. 2000a. “Approximate Objects and Approximate Theories.” in KR’00: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman, pp. 519–526. San Francisco, California: Morgan Kaufmann Publishers.
McCarthy, John. 2000b. “Concepts of Logical AI.” in Logic-Based Artificial Intelligence, edited by Jack Minker, pp. 37–56. Dordrecht: Kluwer Academic Publishers.
McCarthy, John. 2000c. “Review of Shanahan (1997).” Artificial Intelligence 123(1–2): 269–270.
McCarthy, John. 2002. “Actions and Other Events in Situation Calculus.” in KR’02: Principles of Knowledge Representation and Reasoning, edited by Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, and Mary-Anne Williams, pp. 615–626. San Francisco, California: Morgan Kaufmann Publishers.
McCarthy, John. 2008. “The Philosophy of AI and the AI of Philosophy.” in Philosophy of Information, edited by Pieter Adriaans and Johan van Benthem, pp. 711–740. Handbook of the Philosophy of Science n. 8. Amsterdam: Elsevier Science Publishers B.V.
McCarthy, John and Buvač, Saša. 1997. “Formalizing Context (Expanded Notes).” in, pp. 99–135. Reprinted in Aliseda, Glabbeek and Westerståhl (1998, 13–50).
McCarthy, John and Costello, Tom. 1998a. “Combining Narratives.” in KR’98: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Lenhart K. Schubert, and Stuart C. Shapiro, pp. 48–59. San Francisco, California: Morgan Kaufmann Publishers.
McCarthy, John and Costello, Tom. 1998b. “Useful Counterfactuals and Approximate Theories.” in AAAI-98. Working Notes of the AAAI Spring Symposium on Prospects for a Commonsense Theory of Causation, edited by Charles L. Ortiz Jr., pp. 44–51. Menlo Park, California: The AAAI Press.
McCarthy, John and Costello, Tom. 1999. “Useful Counterfactuals.” Linköping Electronic Articles in Computer and Information Science 4(12).
McCarthy, John and Hayes, Patrick J. 1969. “Some Philosophical Problems from the Standpoint of Artificial Intelligence.” in Machine Intelligence 4, edited by Bernard Meltzer and Donald Michie, pp. 463–502. Edinburgh: Edinburgh University Press. Reprinted in Webber and Nilsson (1981, 431–450), Ginsberg (1987, 26–45) and Lifschitz (1990, 21–63).
McCarthy, John and Lifschitz, Vladimir. 1987. “Commentary on McDermott.” Computational Intelligence 3(3): 196–197.
McCarthy, John, Minsky, Marvin L., Rochester, Nathaniel and Shannon, Claude E. 2006. “A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence.” The AI Magazine 27(4): 12–14.
McCarthy, John and Prince, Alan. 1993. “Generalized Alignment.” tr–7. Piscataway, New Jersey: Center for Cognitive Science, Rutgers University.
Further References
Aliseda, Atocha, Glabbeek, Rob J. van and Westerståhl, Dag, eds. 1998. Computing Natural Language. Stanford, California: CSLI Publications. Proceedings of the 1995 CSLI-Amsterdam Logic, Language, and Computation Conference.
Brachman, Ronald J. and Levesque, Hector J., eds. 1995. Readings in Knowledge Representation. San Francisco, California: Morgan Kaufmann Publishers.
Dreyfus, Hubert L. 1992. What Computers Still Can’t Do: A Critique of Artificial Reason. Cambridge, Massachusetts: The MIT Press.
Ginsberg, Matthew L., ed. 1987. Readings in Nonmonotonic Reasoning. San Francisco, California: Morgan Kaufmann Publishers.
Lifschitz, Vladimir, ed. 1990. Formalizing Common Sense: Papers by John McCarthy. Norwood, New Jersey: Ablex Publishing Co.
Lighthill, James. 1973. “Artificial Intelligence: A General Survey.” in Corpus Processing for Lexical Acquisition, edited by James Lighthill, N. S. Sutherland, Roger M. Needham, H. Christopher Longuet-Higgins, and Donald Michie. Cambridge, Massachusetts: The MIT Press.
Muggleton, Stephen H., ed. 1996. Machine Intelligence 15. Oxford: Oxford University Press.