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