default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJohn McCarthy 0001
Person information
- affiliation: Stanford University, Stanford, CA, USA
- affiliation: Massachusetts Institute of Technology, Cambridge, MA, USA
- award (1971): Turing Award
- award (2003): Benjamin Franklin Medal
- award (2002): Programming Languages Achievement Award
- award (1990): National Medal of Science
- award (1988): Kyoto Prize
- award (1985): Computer Pioneer Award
Other persons with the same name
- John C. McCarthy 0002
![[0000-0003-2878-1921]](https://dblp.dagstuhl.de/img/orcid-mark.12x12.png "0000-0003-2878-1921")
(aka: John McCarthy 0002) — University College Cork, School of Applied Psychology, Ireland - John McCarthy 0003 — National Center for Atmospheric Research, Boulder, CO, USA
- John McCarthy 0004 — Oxford Systems, UK
- John McCarthy 0005 — Robert Morris University, School of Education and Social Sciences, Carnot-Moon, PA, USA
- John McCarthy 0006 — Northumbria University, London, UK
- John McCarthy 0007 — APEM Ltd., Stockport, UK
2000 – 2009
- 2009
[j43]Mary-Anne Williams, John McCarthy, Peter Gärdenfors, Christopher J. Stanton, Alankar Karol:
A grounding framework. Auton. Agents Multi Agent Syst. 19(3): 272-296 (2009)- 2008
- [j42]John McCarthy:
The well-designed child. Artif. Intell. 172(18): 2003-2014 (2008) - 2007
- [j41]John McCarthy:
From here to human-level AI. Artif. Intell. 171(18): 1174-1182 (2007) - [j40]Danny Hillis, John McCarthy, Tom M. Mitchell, Erik T. Mueller, Doug Riecken, Aaron Sloman, Patrick Henry Winston:
In Honor of Marvin Minsky's Contributions on his 80th Birthday. AI Mag. 28(4): 103-110 (2007) - [c34]John McCarthy:
Elephant 2000: a programming language based on speech acts. OOPSLA Companion 2007: 723-724 - 2006
- [j39]Tom Costello, John McCarthy:
Jon Doyle, Extending Mechanics to Minds: The Mechanical Foundations of Psychology and Economics, Cambridge University Press (2006). Artif. Intell. 170(18): 1237-1238 (2006) - [j38]John McCarthy, Marvin Minsky, Nathaniel Rochester, Claude E. Shannon:
A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence, August 31, 1955. AI Mag. 27(4): 12-14 (2006) - [c33]John McCarthy:
Did Something Go Wrong? AAAI Spring Symposium: What Went Wrong and Why: Lessons from AI Research and Applications 2006: 11 - [c32]John McCarthy:
Challenges to Machine Learning: Relations Between Reality and Appearance. ILP 2006: 2-9 - 2005
- [j37]John McCarthy:
The Future of AI - A Manifesto. AI Mag. 26(4): 39- (2005) - 2004
- [j36]John McCarthy, Lee Badger, Marc Williams:
The Tower of Stanford: 10956. Am. Math. Mon. 111(4): 364-365 (2004) - [c31]John McCarthy:
Historical Remarks on Nonmonotonic Reasoning, Especially Circumscription. KR 2004: 738-739 - [c30]John McCarthy:
The Web - Early Visions, Present Reality, the Grander Future. Web Intelligence 2004: 3 - 2003
- [j35]Andreas Abecker, Erik K. Antonsson, Charles B. Callaway, Virginia Dignum, Patrick Doherty, Ludger van Elst, Michael Freed, Reva Freedman, Hans W. Guesgen, Gareth J. F. Jones, John R. Koza, David Kortenkamp, Mark T. Maybury, John McCarthy, Debasis Mitra, Jochen Renz, Debra Schreckenghost, Mary-Anne Williams:
2003 AAAI Spring Symposium Series. AI Mag. 24(3): 131-140 (2003) - [j34]John McCarthy:
Problems and projections in CS for the next 49 year. J. ACM 50(1): 73-79 (2003) - [c29]Ramanathan V. Guha, John McCarthy:
Varieties of Contexts. CONTEXT 2003: 164-177 - [c28]John McCarthy:
Advice about logical AI. LICS 2003: 244- - 2002
- [j33]John McCarthy, Marvin Minsky, Aaron Sloman, Leiguang Gong, Tessa A. Lau, Leora Morgenstern, Erik T. Mueller, Doug Riecken, Moninder Singh, Push Singh:
An architecture of diversity for commonsense reasoning. IBM Syst. J. 41(3) (2002) - [j32]John McCarthy:
Problem 10956. Am. Math. Mon. 109(7): 664 (2002) - [c27]John McCarthy:
Actions and Other Events in Situation Calculus. KR 2002: 615-628 - 2001
- [c26]John McCarthy:
Phenomenal data-mining. K-CAP 2001: 4-4 - 2000
- [j31]John McCarthy:
Review: M. Shanahan, Solving the Frame Problem. Artif. Intell. 123(1-2): 269-270 (2000) - [j30]John McCarthy:
Deep issues: phenomenal data mining. Commun. ACM 43(8): 75-79 (2000) - [j29]John McCarthy:
Free will - even for robots. J. Exp. Theor. Artif. Intell. 12(3): 341-352 (2000) - [j28]John McCarthy:
Phenomenal Data Mining: From Data to Phenomena. SIGKDD Explor. 1(2): 24-29 (2000) - [c25]John McCarthy:
Approximate Objects and Approximate Theories. KR 2000: 519-526
1990 – 1999
- 1999
- [j27]Tom Costello, John McCarthy:
Useful Counterfactuals. Electron. Trans. Artif. Intell. 3(A): 51-76 (1999) - 1998
- [c24]John McCarthy, Tom Costello:
Combining Narratives. KR 1998: 48-59 - 1997
- [j26]John McCarthy:
Modality, Si! Modal Logic, No! Stud Logica 59(1): 29-32 (1997) - 1996
- [b1]John McCarthy:
Defending AI research - a collection of essays and reviews. CSLI 1996, ISBN 978-1-57586-019-0, pp. I-VIII, 1-129 - [j25]John McCarthy, Hubert L. Dreyfus:
What Computers Still Can't Do. Artif. Intell. 80(1-2): 143-150 (1996) - [c23]John McCarthy:
From Here to Human-Level AI. KR 1996: 640-646 - 1995
- [c22]John McCarthy:
What has AI in Common with Philosophy? IJCAI 1995: 2041-2044 - [c21]John McCarthy:
Making Robots Conscious of Their Mental States. Machine Intelligence 15 1995: 3-17 - 1993
- [j24]John McCarthy:
History of Circumscription. Artif. Intell. 59(1-2): 23-26 (1993) - [c20]John McCarthy:
Notes on Formalizing Context. IJCAI 1993: 555-562 - [p1]John McCarthy:
Towards a Mathematical Science of Computation. Program Verification 1993: 35-56 - 1992
- [j23]J. A. N. Lee, John McCarthy, J. C. R. Licklider:
The beginnings at MIT. IEEE Ann. Hist. Comput. 14(1): 18-30 (1992) - [j22]Gio Wiederhold, John McCarthy:
Arthur Samuel: Pioneer in Machine Learning. IBM J. Res. Dev. 36(3): 329-332 (1992) - 1991
- [j21]John McCarthy, Edward A. Feigenbaum:
Arthur L. Samuel: Pioneer in Machine Learning. J. Int. Comput. Games Assoc. 14(1): 19-20 (1991) - 1990
- [j20]John McCarthy, Edward A. Feigenbaum:
In Memoriam: Arthur Samuel - Pioneer in Machine Learning. AI Mag. 11(3): 10-11 (1990) - [j19]John McCarthy:
Lessons from the Lighthill Flap. Knowl. Eng. Rev. 5(4): 288-290 (1990)
1980 – 1989
- 1989
- [j18]John McCarthy:
The Fruitfly on the Fly. J. Int. Comput. Games Assoc. 12(4): 199-206 (1989) - 1987
- [j17]John McCarthy:
Generality in Artificial Intelligence. Commun. ACM 30(12): 1029-1035 (1987) - 1986
- [j16]John McCarthy:
Applications of Circumscription to Formalizing Common-Sense Knowledge. Artif. Intell. 28(1): 89-116 (1986) - [c19]John McCarthy:
Mental Situation Calculus. TARK 1986: 307-308 - 1985
- [c18]John McCarthy:
What is Common Sense and How to Formalize it? (Condensed Slides). GWAI 1985: 213-217 - 1984
- [j15]John McCarthy:
We Need Better Standards for Artificial Intelligence Research - President's Message. AI Mag. 5(3): 7-8 (1984) - [c17]Richard P. Gabriel, John McCarthy:
Queue-based Multi-processing Lisp. LISP and Functional Programming 1984: 25-44 - [c16]John McCarthy:
Applications of Circumscription to Formalizing Common Sense Knowledge. NMR 1984: 295-324 - 1983
- [j14]John McCarthy:
Artificial Intelligence Needs More Emphasis on Basic Research - President's Quarterly Message. AI Mag. 4(4): 5 (1983) - 1980
- [j13]John McCarthy:
Circumscription - A Form of Non-Monotonic Reasoning. Artif. Intell. 13(1-2): 27-39 (1980) - [j12]John McCarthy:
Addendum: Circumscription and other Non-Monotonic Formalisms. Artif. Intell. 13(1-2): 171-172 (1980) - [j11]Thomas O. Binford, John McCarthy:
Research in Progress in Robotics at Stanford University. AI Mag. 2(1): 27-28 (1980) - [c15]John McCarthy:
LISP - notes on its past and future. LISP Conference 1980: v-viii
1970 – 1979
- 1979
- [c14]Robert Cartwright, John McCarthy:
First Order Programming Logic. POPL 1979: 68-80 - 1978
- [j10]John McCarthy:
A micro-manual for LISP - not the whole truth. ACM SIGPLAN Notices 13(8): 215-216 (1978) - [j9]John McCarthy:
History of LISP. ACM SIGPLAN Notices 13(8): 217-223 (1978) - [c13]John McCarthy:
History of LISP. HOPL 1978: 173-185 - [c12]John McCarthy:
Transcript of presentation. HOPL 1978: 185-191 - [c11]Robert Cartwright, John McCarthy:
Recursive programs as functions in a first order theory. Mathematical Studies of Information Processing 1978: 576-629 - 1977
- [c10]Daniel G. Bobrow, Gary G. Hendrix, William A. Martin, John McCarthy, Allen Newell, Roger C. Schank, Brian Cantwell Smith, N. S. Sridharan:
Knowledge Representation. IJCAI 1977: 983-992 - [c9]John McCarthy:
Epistemological Problems of Artificial Intelligence. IJCAI 1977: 1038-1044 - 1976
- [j8]Benjamin Kuipers, John McCarthy, Joseph Weizenbaum:
Computer power and human reason. SIGART Newsl. 58: 4-13 (1976) - [c8]John McCarthy:
Stanford University low overhead timesharing. SIGUCCS 1976: 164 - 1974
- [j7]John McCarthy:
Professor Sir James Lighthill, FRS. Artificial Intelligence: A General Survey. Artif. Intell. 5(3): 317-322 (1974) - 1972
- [i1]John McCarthy:
Arbitrary Character Sets. RFC 373: 1-4 (1972) - 1971
- [c7]John McCarthy:
The 1971 ACM A. M. Turing Award. ACM Annual Conference 1971: 1
1960 – 1969
- 1967
- [j6]John McCarthy:
Comments on time sharing. Commun. ACM 10(9): 531 (1967) - [c6]John McCarthy, Dow Brian, Gary Feldman, John Allen:
THOR: a display based time sharing system. AFIPS Spring Joint Computing Conference 1967: 623-633 - 1963
- [j5]John W. Backus, Friedrich L. Bauer, Julien Green, C. Katz, John McCarthy, Alan J. Perlis, Heinz Rutishauser, Klaus Samelson, Bernard Vauquois, Joseph Henry Wegstein, Adriaan van Wijngaarden, Michael Woodger, Peter Naur:
Revised report on the algorithm language ALGOL 60. Commun. ACM 6(1): 1-17 (1963) - [j4]John McCarthy, Fernando J. Corbató, Marjorie Merwin-Daggett:
The linking segment subprogram language and linking loader. Commun. ACM 6(7): 391 (1963) - [j3]John W. Backus, Friedrich L. Bauer, Julien Green, C. Katz, John McCarthy, Peter Naur, Alan J. Perlis, Heinz Rutishauser, Klaus Samelson, Bernard Vauquois, Joseph Henry Wegstein, Adriaan van Wijngaarden, Michael Woodger:
Revised report on the algorithmic language ALGOL 60. Comput. J. 5(4): 349-367 (1963) - [c5]John McCarthy, S. Boilen, Edward Fredkin, J. C. R. Licklider:
A time-sharing debugging system for a small computer. AFIPS Spring Joint Computing Conference 1963: 51-57 - 1962
- [c4]John McCarthy:
Towards a Mathematical Science of Computation. IFIP Congress 1962: 21-28 - 1961
- [c3]John McCarthy:
A basis for a mathematical theory of computation, preliminary report. IRE-AIEE-ACM Computer Conference (Western) 1961: 225-238 - 1960
- [j2]John McCarthy:
Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I. Commun. ACM 3(4): 184-195 (1960) - [j1]John W. Backus, Friedrich L. Bauer, Julien Green, C. Katz, John McCarthy, Alan J. Perlis, Heinz Rutishauser, Klaus Samelson, Bernard Vauquois, Joseph Henry Wegstein, Adriaan van Wijngaarden, Michael Woodger:
Report on the algorithmic language ALGOL 60. Commun. ACM 3(5): 299-314 (1960)
1950 – 1959
- 1959
- [c2]John McCarthy:
LISP: a programming system for symbolic manipulations. ACM National Meeting 1959: 1:1-1:4 - [c1]Herbert M. Teager, John McCarthy:
Time-shared program testing. ACM National Meeting 1959: 2:1-2:2
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
[+][–] Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
[+][–] Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-07-06 18:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
