Review: Roger Penrose, The emperor's new mind J McCarthy Bulletin (New Series) of the American Mathematical Society 23 (2), 606-616, 1990 | 9560* | 1990 |
Some philosophical problems from the standpoint of artificial intelligence J McCarthy, PJ Hayes Readings in nonmonotonic reasoning, 26-45, 1987 | 6271* | 1987 |
Some philosophical problems from the standpoint of artificial intelligence J McCarthy, P Hayes Stanford University, 1968 | 6271* | 1968 |
A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence, August 31, 1955 J McCarthy, ML Minsky, N Rochester, CE Shannon AI Magazine 27 (4), 12, 2006 | 4162 | 2006 |
Circumscription—a form of non-monotonic reasoning J McCarthy Artificial intelligence 13 (1), 27-39, 1980 | 3536 | 1980 |
Recursive functions of symbolic expressions and their computation by machine J McCarthy | 2638* | 1959 |
Recursive functions of symbolic expressions and their computation by machine, Part I J McCarthy Communications of the ACM 3 (4), 184-195, 1960 | 2611 | 1960 |
What is artificial intelligence J McCarthy URL: http://www-formal. stanford. edu/jmc/whatisai. html, 2004 | 2340 | 2004 |
What is artificial intelligence? J McCarthy | 2340 | 1998 |
Programs with common sense J McCarthy Defense Technical Information Center, 1963 | 2130* | 1963 |
Applications of circumscription to formalizing common-sense knowledge J McCarthy Artificial Intelligence 28 (1), 89-116, 1986 | 1748 | 1986 |
LISP 1.5 programmer's manual J McCarthy The MIT Press, 1965 | 1647 | 1965 |
Revised report on the algorithmic language ALGOL 60 JW Backus, FL Bauer, J Green, C Katz, J McCarthy, P Naur, AJ Perlis, ... Numerische Mathematik 4 (1), 420-453, 1962 | 1642 | 1962 |
Modified Report on the Algorithmic Language ALGOL 60 JW Backus, FL Bauer, J Green, C Katz, J McCarthy, P Naur, AJ Perlis, ... Computer Journal 19, 364-379, 1996 | 1529* | 1996 |
Revised report on the algorithmic language Algol 60 P Naur, JW Backus, FL Bauer, J Green, C Katz, J McCarthy, AJ Perlis, ... Communications of the ACM 6 (1), 1-17, 1963 | 1509 | 1963 |
Notes on formalizing context J McCarthy | 1360* | 1993 |
Report on the algorithmic language ALGOL 60 JW Backus, FL Bauer, J Green, С Katz, J McCarthy, P Naur, AJ Perus, ... Computer Centre of the Academy of Sciences of the USSR, Moscow, 1961 | 1002 | 1961 |
Report on the algorithmic language ALGOL 60 JH WEGSTEIN, A VAN WIJNGAARDEN, M WOODGER, ... | 998* | 1960 |
Towards a mathematical science of computation J McCarthy Information processing 62, 21-28, 1962 | 971* | 1962 |
Situations, actions, and causal laws J McCarthy STANFORD UNIV CALIF DEPT OF COMPUTER SCIENCE, 1963 | 906 | 1963 |