John McCarthy
Active 1899–2025
- Also published as
- John Mccarthy
- 160
- Papers
- 24,365
- Citations
- 59
- h-index
- 108
- i10-index
Citations
Citation sources
Countries
Institutions
Fields
- Computer Science76.1%
- Biochemistry, Genetics and Molecular Biology4.4%
- Social Sciences3.6%
- Medicine3.1%
- Psychology2.4%
- Engineering2.3%
- Other8.1%
Topics
- Logic, Reasoning, and Knowledge9.2%
- Logic, programming, and type systems7.7%
- Semantic Web and Ontologies6.1%
- AI-based Problem Solving and Planning4%
- Formal Methods in Verification4%
- Multi-Agent Systems and Negotiation3.4%
- Other65.6%
Coauthors
- Alan J. Perlis6
- Bernard Vauquois6
- Heinz Rutishauser6
- Friedrich L. Bauer5
- Peter Naur5
- J. Ian Mason4
- A. van Wijngaarden3
- Aaron Sloman3
- Adriaan van Wijngaarden3
- Bashar Nuseibeh3
- C. Katz3
- Doug Riecken3
- Erik T. Mueller3
- Gavin Doherty3
- J. Green3
- J. H. Wegstein3
- John Backus3
- John W. Backus3
- Joseph Henry Wegstein3
- Julien Green3
- K. Samelson3
- Klaus Samelson3
- Kushal Ramkumar3
- Liliana Pasquale3
All papers
- From Here to Human-Level AI
Authors: John McCarthy - Artificial Intelligence, Artif. Intell. 1996 cited by 346
- Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I
Authors: John McCarthy - Communications of the ACM, Commun. ACM 1960 cited by 1,370
- Some Philosophical Problems from the Standpoint of Artificial Intelligence
Authors: John McCarthy, Patrick J. Hayes - Elsevier eBooks 1981 cited by 3,305
- Germline Mutations in the Extracellular Domains of the 55 kDa TNF Receptor, TNFR1, Define a Family of Dominantly Inherited Autoinflammatory Syndromes
Authors: Michael McDermott, Ivona Aksentijevich, Jérôme Galon, Elizabeth McDermott, B Ogunkolade, Michael Centola, Elizabeth Mansfield, Massimo Gadina, Leena Karenko, Tom Pettersson, John McCarthy, David M. Frucht, Martin Aringer, Yelizaveta Torosyan, Anna‐Maija Teppo, Meredith Wilson, H.Mehmet Karaarslan, Ying Wan, Ian Todd, Geryl Wood, Ryan Schlimgen, Thisum R. Kumarajeewa, Sheldon M. Cooper, John P. Vella, Christopher I. Amos, John C. Mulley, Kathleen A. Quane, Michael G. Molloy, Annamari Ranki, Richard J. Powell, G. A. Hitman, John J. O’Shea, Daniel L. Kastner - Cell 1999 cited by 1,421
- Participatory Design Going Digital: Challenges and Opportunities for Distributed Place-Making
Authors: Geertje Slingerland, Maria Murray, Stephan G. Lukosch, John McCarthy, Frances M. T. Brazier - Computer Supported Cooperative Work (CSCW), Comput. Support. Cooperative Work. 2022 cited by 38
- Situations, Actions, and Causal Laws
Authors: John McCarthy - OSD or Non-Service DoD Agency 1963 cited by 547
- Generality in Artificial Intelligence
Authors: John McCarthy - ACM eBooks, Commun. ACM 1987 cited by 394
- A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence, August 31, 1955
Authors: John McCarthy, Marvin Minsky, Nathaniel Rochester, Claude E. Shannon - AI Mag. 2006 cited by 21
- 'I'm a rambler, I'm a gambler, I'm a long way from home': The Place of Props, Music, and Design in Dementia Care
Authors: Kellie Morrissey, Gavin Wood, David Green, Nadia Pantidi, John McCarthy - Conference on Designing Interactive Systems 2016 cited by 70
- Computer power and human reason
Authors: Benjamin Kuipers, John McCarthy, Joseph Weizenbaum - ACM SIGART Bulletin, SIGART Newsl. 1976 cited by 1,057
- Report on the algorithmic language ALGOL 60
Authors: 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 - Communications of the ACM, Commun. ACM 1960 cited by 495
- Artificial Intelligence, Logic and Formalizing Common Sense
Authors: John McCarthy - Philosophical Logic and Artificial Intelligence 1989 cited by 188
- Epistemological Problems of Artificial Intelligence
Authors: John McCarthy - Elsevier eBooks, IJCAI 1977 cited by 330
- Pathogenic variants in USP7 cause a neurodevelopmental disorder with speech delays, altered behavior, and neurologic anomalies
Authors: Michael D. Fountain, David S. Oleson, Megan Rech, Lara Segebrecht, Jill V. Hunter, John McCarthy, Philip J. Lupo, Manuel Holtgrewe, Rocio Moran, Jill A. Rosenfeld, Bertrand Isidor, Cédric Le Caignec, Margarita Sáenz, Robert C. Pedersen, Thomas M. Morgan, Jean P. Pfotenhauer, Fan Xia, Weimin Bi, Sung-Hae L. Kang, Ankita Patel, Ian D. Krantz, Sarah E. Raible, Wendy E. Smith, Ingrid Cristian, Erin Torti, Jane Juusola, Francisca Millan, Ingrid M. Wentzensen, Richard Person, Sébastien Küry, Stéphane Bezieau, Kévin Uguen, Claude Férec, Arnold Münnich, Mieke M. van Haelst, Klaske D. Lichtenbelt, Koen L.I. van Gassen, Tanner Hagelstrom, Aditi Chawla, Denise Perry, Ryan J. Taft, Marilyn C. Jones, Diane Masser‐Frye, David A. Dyment, Sunita Venkateswaran, Chumei Li, Luis Escobar, Denise Horn, Rebecca C. Spillmann, Loren D.M. Peña, Jolanta Wierzba, Tim M. Strom, Ilaria Parenti, Frank J. Kaiser, Nadja Ehmke, Christian P. Schaaf - Genetics in Medicine 2019 cited by 81
- Experience-Centered Design
Authors: Peter Wright, John McCarthy - Synthesis lectures on human-centered informatics 2010 cited by 78
- Artificial Intelligence, Logic, and Formalising Common Sense
Authors: John McCarthy - Machine Learning and the City 2022 cited by 35
- Agency, Power and Confrontation: the Role for Socially Engaged Art in CSCW with Rurban Communities in Support of Inclusion
Authors: Maria Murray, Nadia Pantidi, John McCarthy - Computer Supported Cooperative Work (CSCW), Comput. Support. Cooperative Work. 2023 cited by 8
- Infrastructural justice for responsible software engineering,
Authors: Sarah Robinson, Jim Buckley, Luigina Ciolfi, Conor Linehan, Clare McInerney, Bashar Nuseibeh, John G. Twomey, Irum Rauf, John McCarthy - Journal of Responsible Technology 2024 cited by 7
- Mathematical Theory of Computation
Authors: John McCarthy - US Dept of the Navy 1991 cited by 641
- Correctness of a compiler for arithmetic expressions
Authors: John McCarthy, James A. Painter - symposia in applied mathematics, Proceedings of symposia in applied mathematics 1967 cited by 266
- Arthur Samuel: Pioneer in Machine Learning
Authors: Gio Wiederhold, John McCarthy - IBM Journal of Research and Development, IBM J. Res. Dev. 1992 cited by 52
- LISP: a programming system for symbolic manipulations
Authors: John McCarthy - Preprints of papers presented at the 14th national meeting of the Association for Computing Machinery on - ACM '59, ACM National Meeting 1959 cited by 16
- A Basis for a Mathematical Theory of Computation )
Authors: John McCarthy - Studies in logic and the foundations of mathematics 1963 cited by 699
- History of LISP
Authors: John McCarthy - ACM SIGPLAN Notices 1978 cited by 181
