Follow
John McCarthy
John McCarthy
MIT, Stanford
No verified email - Homepage
Title
Cited by
Cited by
Year
Review: Roger Penrose, The emperor's new mind
J McCarthy
Bulletin (New Series) of the American Mathematical Society 23 (2), 606-616, 1990
9587*1990
Some philosophical problems from the standpoint of artificial intelligence
J McCarthy, PJ Hayes
Readings in nonmonotonic reasoning, 26-45, 1987
6287*1987
Some philosophical problems from the standpoint of artificial intelligence
J McCarthy, P Hayes
Stanford University, 1968
6287*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
42632006
Circumscription—a form of non-monotonic reasoning
J McCarthy
Artificial intelligence 13 (1), 27-39, 1980
35421980
Recursive functions of symbolic expressions and their computation by machine
J McCarthy
2643*1959
Recursive functions of symbolic expressions and their computation by machine, Part I
J McCarthy
Communications of the ACM 3 (4), 184-195, 1960
26161960
What is artificial intelligence
J McCarthy
URL: http://www-formal. stanford. edu/jmc/whatisai. html, 2004
23752004
What is artificial intelligence?
J McCarthy
23751998
Programs with common sense
J McCarthy
Defense Technical Information Center, 1963
2137*1963
Applications of circumscription to formalizing common-sense knowledge
J McCarthy
Artificial Intelligence 28 (1), 89-116, 1986
17511986
LISP 1.5 programmer's manual
J McCarthy
The MIT Press, 1965
16471965
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
16461962
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
1530*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
15101963
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
10031961
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
975*1962
Situations, actions, and causal laws
J McCarthy
STANFORD UNIV CALIF DEPT OF COMPUTER SCIENCE, 1963
9081963
The system can't perform the operation now. Try again later.
Articles 1–20