On John McCarthy's 80th Birthday, in Honor of His Contributions

John McCarthy's contributions to computer science and artificial intelligence are legendary. He invented Lisp, made substantial contributions to early work in timesharing and the theory of computation, and was one of the founders of artificial intelligence and knowledge representation. This article, written in honor of McCarthy's 80th birthday, presents a brief biography, an overview of the major themes of his research, and a discussion of several of his major papers.

[1]  J. McCarthy.  Circumscription|a Form of Nonmonotonic Reasoning , 1979 .

[2]  John McCarthy,et al.  A basis for a mathematical theory of computation, preliminary report , 1899, IRE-AIEE-ACM '61 (Western).

[3]  J. McCarthy.  Situations, Actions, and Causal Laws , 1963 .

[4]  Drew McDermott,et al.  Nonmonotonic Logic and Temporal Projection , 1987, Artif. Intell..

[5]  John McCarthy,et al.  Actions and Other Events in Situation Calculus , 2002, KR.

[6]  John McCarthy,et al.  Programs with common sense , 1960 .

[7]  John G. Gibbons.  Knowledge in Action , 2001 .

[8]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[9]  V. Wiktor Marek,et al.  Nonmonotonic Logic , 1993, Artificial Intelligence.

[10]  Marek J. Sergot,et al.  A logic-based calculus of events , 1989, New Generation Computing.

[11]  John McCarthy,et al.  Generality in artificial intelligence , 1987, Resonance.

[12]  Ramanathan V. Guha,et al.  Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project , 1990 .

[13]  John McCarthy,et al.  Applications of Circumscription to Formalizing Common Sense Knowledge , 1987, NMR.

[14]  J. Horty.  Nonmonotonic Logic , 2001 .

[15]  Marvin Minsky,et al.  A framework for representing knowledge" in the psychology of computer vision , 1975 .

[16]  A. M. Turing,et al.  Computing Machinery and Intelligence , 1950, The Philosophy of Artificial Intelligence.

[17]  Vladimir Lifschitz,et al.  Formal Theories of Action (Preliminary Report) , 1987, IJCAI.

[18]  D. McDermott,et al.  An introduction to nonmonotonic logic , 1979, IJCAI 1979.

[19]  John McCarthy,et al.  Epistemological Problems of Artificial Intelligence , 1987, IJCAI.

[20]  John McCarthy,et al.  Notes on Formalizing Context , 1993, IJCAI.

[21]  John McCarthy,et al.  Recursive functions of symbolic expressions and their computation by machine, Part I , 1960, Commun. ACM.

[22]  Donald Nute,et al.  Counterfactuals , 1975, Notre Dame J. Formal Log..

[23]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[24]  Vladimir Lifschitz,et al.  Pointwise Circumscription: Preliminary Report , 1986, AAAI.

[25]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[26]  Vladimir Lifschitz,et al.  Formalizing Common Sense: Papers by John McCarthy , 1998 .

[27]  Tonya Lewis,et al.  Knowledge in Action , 1977 .

[28]  Marvin Minsky,et al.  A framework for representing knowledge , 1974 .

[29]  John McCarthy,et al.  Useful Counterfactuals , 1999, Electron. Trans. Artif. Intell..

[30]  R. Guha.  Contexts: a formalization and some applications , 1992 .

[31]  Drew McDermott,et al.  Non-Monotonic Logic I , 1987, Artif. Intell..

[32]  K. Maier.  INQUIRY , 2007 .

[33]  J. McCarthy.  ELABORATION TOLERANCE , 1997 .

[34]  J. McCarthy,et al.  Formalizing Context (Expanded Notes) , 1994 .

[35]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..