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
9552*1990
Some philosophical problems from the standpoint of artificial intelligence
J McCarthy, PJ Hayes
Readings in nonmonotonic reasoning, 26-45, 1987
6296*1987
Some philosophical problems from the standpoint of artificial intelligence
J McCarthy, P Hayes
Stanford University, 1968
6296*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
41112006
Circumscription—a form of non-monotonic reasoning
J McCarthy
Artificial intelligence 13 (1), 27-39, 1980
35381980
Recursive functions of symbolic expressions and their computation by machine
J McCarthy
2637*1959
Recursive functions of symbolic expressions and their computation by machine, Part I
J McCarthy
Communications of the ACM 3 (4), 184-195, 1960
26091960
What is artificial intelligence
J McCarthy
URL: http://www-formal. stanford. edu/jmc/whatisai. html, 2004
23192004
What is artificial intelligence?
J McCarthy
23191998
Programs with common sense
J McCarthy
Defense Technical Information Center, 1963
2133*1963
Applications of circumscription to formalizing common-sense knowledge
J McCarthy
Artificial Intelligence 28 (1), 89-116, 1986
17631986
LISP 1.5 programmer's manual
J McCarthy
The MIT Press, 1965
16611965
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
16431962
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
1528*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
15061963
Notes on formalizing context
J McCarthy
1364*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
9951961
Report on the algorithmic language ALGOL 60
JH WEGSTEIN, A VAN WIJNGAARDEN, M WOODGER, ...
989*1960
Towards a mathematical science of computation
J McCarthy
Information processing 62, 21-28, 1962
979*1962
Situations, actions, and causal laws
J McCarthy
STANFORD UNIV CALIF DEPT OF COMPUTER SCIENCE, 1963
9061963
The system can't perform the operation now. Try again later.
Articles 1–20