John McCarthy
#321
Most Influential Person
American computer scientist and cognitive scientist
Why Is John McCarthy Influential?
(Suggest an Edit or Addition)According to Wikipedia, John McCarthy was an American computer scientist and cognitive scientist. He was one of the founders of the discipline of artificial intelligence. He co-authored the document that coined the term "artificial intelligence" , developed the programming language family Lisp, significantly influenced the design of the language ALGOL, popularized time-sharing, and invented garbage collection.
John McCarthy 's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Papers
- SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE (1987) (3838)
- Circumscription - A Form of Non-Monotonic Reasoning (1980) (2326)
- Recursive functions of symbolic expressions and their computation by machine, Part I (1959) (1510)
- Applications of Circumscription to Formalizing Common Sense Knowledge (1987) (1283)
- Programs with common sense (1960) (1179)
- A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence, August 31, 1955 (2006) (1109)
- Notes on Formalizing Context (1993) (967)
- Revised report on the algorithm language ALGOL 60 (1963) (820)
- LISP 1.5 Programmer's Manual (1962) (663)
- Towards a Mathematical Science of Computation (1962) (625)
- Situations, Actions, and Causal Laws (1963) (578)
- What Computers Still Can't Do (1996) (563)
- Report on the algorithmic language ALGOL 60 (1960) (563)
- A Basis for a Mathematical Theory of Computation (1899) (561)
- Epistemological Problems of Artificial Intelligence (1987) (419)
- Generality in artificial intelligence (1987) (412)
- Mathematical Theory of Computation (1991) (343)
- Formalizing Context (Expanded Notes) (1994) (340)
- A Basis for a Mathematical Theory of Computation1) (1959) (334)
- Correctness of a compiler for arithmetic expressions (1966) (305)
- Ascribing Mental Qualities to Machines (1979) (300)
- CIRCUMSCRIPTION — A FORM OF NONMONOTONIC REASONING (2007) (236)
- WHAT IS ARTIFICIAL INTELLIGENCE (1998) (230)
- History of LISP (1978) (225)
- First Order Theories of Individual Concepts and Propositions. (1979) (224)
- Cognitive Wheels : The Frame Problem of AI (190)
- Formalizing Common Sense: Papers by John McCarthy (1998) (185)
- Making Robots Conscious of Their Mental States (1995) (163)
- From Here to Human-Level AI (1996) (161)
- Artificial Intelligence, Logic and Formalizing Common Sense (1989) (154)
- ELABORATION TOLERANCE (1997) (141)
- The Inversion of Functions Defined by Turing Machines (1956) (123)
- The well-designed child (2008) (109)
- Some Expert Systems Need Common Sense (1984) (108)
- Queue-based multi-processing LISP (1984) (102)
- A Formal Description of a Subset of Algol (1964) (93)
- On the model theory of knowledge (1978) (92)
- Formalization of two Puzzles Involving Knowledge (1987) (85)
- PROPERTIES OF PROGRAMS AND PARTIAL FUNCTION LOGIC (1969) (78)
- Epistemological challenges for connectionism (1988) (74)
- Recursive Functions of Symbolic Expressions (1983) (69)
- Mathematical logic in artificial intelligence (1989) (68)
- Circumscription—a form of non-monotonic reasoning (1987) (68)
- Varieties of Contexts (2003) (63)
- A Tough Nut for Proof Procedures (1964) (62)
- Actions and Other Events in Situation Calculus (2002) (60)
- A basis for a mathematical theory of computation, preliminary report (1961) (51)
- Computer programs for checking mathematical proofs (1962) (47)
- A time-sharing debugging system for a small computer (1899) (46)
- Addendum: Circumscription and other Non-Monotonic Formalisms (1980) (44)
- Reminiscences on the History of Time-Sharing (1992) (43)
- Phenomenal data mining (2000) (42)
- AI as Sport (1997) (41)
- Chess as the Drosophila of AI (1990) (37)
- An architecture of diversity for commonsense reasoning (2002) (34)
- In Memoriam: Arthur Samuel - Pioneer in Machine Learning (1990) (33)
- Professor Sir James Lighthill, FRS. Artificial Intelligence: A General Survey (1974) (33)
- SITUATION CALCULUS WITH CONCURRENT EVENTS AND NARRATIVE (2001) (31)
- What has AI in Common with Philosophy? (1995) (30)
- Arthur Samuel: Pioneer in Machine Learning (1992) (27)
- ON FORMALIZING CONTEXT (1993) (25)
- Useful Counterfactuals (1999) (25)
- Modality, Si! Modal Logic, No! (1997) (25)
- Some Universal Elements for Finite Automata (1970) (25)
- Phenomenal data mining: from data to phenomena (2000) (24)
- First order programming logic (1979) (24)
- Elephant 2000: a programming language based on speech acts (2007) (24)
- Approximate Objects and Approximate Theories (2000) (23)
- Mental Situation Calculus (1986) (22)
- Recursive programs as functions in a first order theory (1978) (21)
- Free will - even for robots (2000) (20)
- Automata Studies. (AM-34) (1956) (20)
- AI's greatest trends and controversies (2000) (19)
- The Future of AI - A Manifesto (2005) (18)
- Coloring maps and the Kowalski doctrine (1982) (18)
- The Syntax of Numeral Expressions (2005) (17)
- Predicate Calculus with 'Undefined' as a Truth-Value, (1963) (17)
- A LOGICAL AI APPROACH TO CONTEXT (1995) (17)
- Problems in the Theory of Computation (1965) (17)
- Combining Narratives (1998) (17)
- USING A FORMAL LANGUAGE TO SUPPORT NATURALLANGUAGE IN ACCIDENT (1995) (16)
- The linking segment subprogram language and linking loader (1963) (16)
- Project technical report (1971) (14)
- LISP: a programming system for symbolic manipulations (1959) (13)
- CREATIVE SOLUTIONS TO PROBLEMS (1999) (13)
- The Little Thoughts of Thinking Machines (1999) (13)
- A panel on knowledge representation (1977) (13)
- Combining Planning Contexts (1996) (12)
- Computer poker (1995) (12)
- LISP - notes on its past and future (1980) (12)
- Automata Studies. (AM-34) (Annals of Mathematics Studies) (1956) (12)
- Multiagent Reasoning with Belief Contexts II: Elaboration Tolerance (1994) (12)
- A micro-manual for LISP - not the whole truth (1978) (12)
- THOR: a display based time sharing system (1967) (11)
- Topological disorder in peripheral vision (1994) (10)
- History of Circumscription (1993) (10)
- The Mutilated Checkerboard in Set Theory (2006) (10)
- Algorithmic Probability — Its Discovery — Its Properties and Application to Strong AI (2009) (10)
- Partial Formalizations And The Lemmings Game (1998) (10)
- A grounding framework (2009) (9)
- THE PHILOSOPHY OF AI AND THE AI OF PHILOSOPHY (2008) (9)
- Programming languages: a grand tour (1983) (9)
- Problems and projections in CS for the next 49 years (2003) (9)
- The beginnings at MIT (1992) (8)
- Defending AI research - a collection of essays and reviews (1996) (8)
- The Frame Problem Today (1987) (8)
- CONCEPTS OF LOGICAL AI (1999) (8)
- An interesting LISP function (1979) (8)
- Modified Report on the Algorithmic Language ALGOL 60 (1976) (8)
- Concept of logical AI (2000) (8)
- We need better standards for AI research (1990) (7)
- Awareness and Understanding in Computer Programs: A Review of Shadows of the Mind by Roger Penrose (2008) (7)
- Artificial Intelligence Needs More Emphasis on Basic Research - President's Quarterly Message (1983) (7)
- Beliefs, machines, and theories (1980) (6)
- Genes and apoptosis. (1994) (6)
- 1959 Memorandum (1992) (6)
- We Need Better Standards for Artificial Intelligence Research - President's Message (1984) (6)
- Formalizing Context (expanded Notes) the Development of These Ideas Has Beneetted from Discussions With (1997) (5)
- NOTES ON SELF-AWARENESS (2004) (5)
- Philosophical and Scientific Presuppositions of Logical AI (1999) (5)
- Overcoming Unexpected Obstacles (1994) (5)
- Challenges to Machine Learning: Relations Between Reality and Appearance (2007) (5)
- Panel Discussion (1984) (5)
- Time-sharing computer systems (1962) (4)
- Todd Moody's Zombies (1995) (4)
- Commentary on McDermott (1987) (4)
- The Fruitfly on the Fly (1989) (4)
- Time-shared program testing (1959) (4)
- Command neurons and unitary behavior (1978) (4)
- Artificial Intelligence and Philosophy (1995) (3)
- On Efficient Ways of Evaluating Certain Recursive Functions (1962) (3)
- A New Eval Function (1962) (3)
- SIMPLE DETERMINISTIC FREE WILL (2002) (3)
- STANFORD ARTIFICIAL INTELLIGENCE PROJECT. (1970) (3)
- It’s Past Time for Practical Computer Checked Proofs of Program Correctness (1990) (2)
- Final report: the first ten years of artificial intelligence research at Stanford. (1973) (2)
- The Naturalism of Samuel Alexander (1948) (2)
- Functions and Constants in the LISP System (1962) (2)
- Recent research in artificial intelligence, heuristic programming, and network protocols. (1974) (2)
- Arbitrary Character Sets (1972) (2)
- A Proof-Checker for Predicate Calculus, (1965) (2)
- Arthur L. Samuel: Pioneer in Machine Learning (1991) (2)
- Lessons from the Lighthill Flap (1990) (2)
- PHENOMENAL DATA MINING: FROM OBSERVATIONS TO PHENOMENA (1997) (2)
- Must Be The... (1972) (2)
- Plans for the Stanford Artificial Intelligence Project (1965) (2)
- Hitchin's projectively flat connection and the moduli space of Higgs bundles (2018) (2)
- The whole and divided self (1997) (2)
- Memory Allocation and the Garbage Collector (1962) (2)
- In Honor of Marvin Minsky's Contributions on his 80th Birthday (2007) (2)
- IV – LISP SESSION (1981) (1)
- The Wang Algorithm for the Propositional Calculus Programmed in LISP (1959) (1)
- The Uncommon Logician of Common Sense (1998) (1)
- The Jakarta switch (2018) (1)
- Two Kinds of Program Specifications (1990) (1)
- Silence: Descriptions and Queries (1983) (1)
- Comments on time sharing (1967) (1)
- ROOFS AND BOXES (1)
- LISP for SHARE Distribution (1962) (1)
- Introduction to Higgs Bundles (2020) (1)
- Deep issues: phenomenal data mining. (2000) (1)
- Destiny And Purpose (2005) (1)
- The A.M. Turing Award: 1971 ACM A. M. Turing Award (1971) (1)
- Recent Research in Artificial Intelligence and Foundations of Programming (1978) (1)
- A Logical Approach to Context (1996) (1)
- LISP|NOTES ON ITS PAST AND FUTURE|1980 (1999) (1)
- Oral history interview with John McCarthy (1989) (1)
- Historical Remarks on Nonmonotonic Reasoning, Especially Circumscription (2004) (1)
- Research in Progress in Robotics at Stanford University (1981) (1)
- LISP Input and Output (1962) (1)
- RISKS-FORUM digest contributions (1991) (1)
- The Moral Obligation of Voting (1954) (1)
- Phenomenal data-mining (2001) (1)
- The LISP Compiler (1962) (1)
- Common Prototyping Language (1991) (0)
- Appendix: Report on the algorithmic language ALGOL 60 (1961) (0)
- Notes on the Compiler (1958) (0)
- Open architectures for formal reasoning and deductive technologies for software development (1994) (0)
- A Complete LISP Program — The Wang Algorithm for The Propositional Calculus (1962) (0)
- Review: Paul W. Abrahams, Machine Verification of Mathematical Proof (1972) (0)
- A Paper for a Friend (2007) (0)
- Philadelphia Soul Music (2018) (0)
- Distiller's Art (1992) (0)
- Open Architecture for Formal Reasoning (1991) (0)
- For the Opossum, My Sympathy (2020) (0)
- Control Structure Abstractions oftheBacktracking Programming Technique (1976) (0)
- The City and its Region (2016) (0)
- Regulating the Integrity of Pipeline Systems (2000) (0)
- Pipeline Research Needs (1997) (0)
- The LISP Assembly Program (LAP) (1962) (0)
- Policy Implications (2019) (0)
- Tellers of Tales (1995) (0)
- Sir William Thomas Prentice KtCR MBE (1919 - 2004) (2004) (0)
- How DDC works (1988) (0)
- The thousand guinea trophy, 1914-1997 (1999) (0)
- Discussion, papers 1 to 5 (1990) (0)
- Politicians and Friends (2006) (0)
- Whitfield: A Peripheral Estate (2016) (0)
- Transcript of presentation (1978) (0)
- Pickup Truck #5 (2015) (0)
- Shoot, a love poem (2014) (0)
- Introduction (2019) (0)
- The Tower of Stanford: 10956 (2004) (0)
- Clarification of whole body dose. (1995) (0)
- The LISP Language (1962) (0)
- Overwhelm and Want (2014) (0)
- Book reviews (2009) (0)
- Property-Led Approaches (2016) (0)
- A spectator sport. (1996) (0)
- Stanford University low overhead timesharing (1976) (0)
- Holistic Regeneration Approaches (2016) (0)
- BSI certification. (1990) (0)
- Lecture 1 (2019) (0)
- A spectator sport. (1996) (0)
- OVERLORD — The Monitor (1962) (0)
- The Imperial Commitment 1939–41 (2008) (0)
- THOR - a Display Based Time Sharing System (1899) (0)
- Jon Doyle, Extending Mechanics to Minds: The Mechanical Foundations of Psychology and Economics, Cambridge University Press (2006) (2006) (0)
- Deductive Technologies For Software Development (0)
- The LISP Interpreter (1962) (0)
- Open Mechanized Reasoning Systems Proposal to Nsf Principal Investigator Participating Investigators (1992) (0)
- QLISP for Parallel Processors (1990) (0)
- The 1971 ACM A. M. Turing Award (1971) (0)
- STAN-CS-80-788 CIRCUMSCRIPTION-A FORM OF NON-MONOTONIC REASONING (1998) (0)
- Basic Research in Knowledge Representation (1998) (0)
- Running the LISP System (1962) (0)
- Varieties of Formalized Contexts and Subcontexts (1995) (0)
- First signs of solidarity in the Soviet Union (1989) (0)
- Recursion and the Push-Down List (1962) (0)
- The LISP Interpreter System (1962) (0)
- Arithmetic in LISP (1962) (0)
- Combination and Interoperation of Logical Systems Research in Formal Interoperability (1999) (0)
- Projects in LISP (1959) (0)
- Notes on improving Lisp (1987) (0)
- Index to Function Descriptions (1962) (0)
- Research in mathematical theory of computation. [computer programming applications (1973) (0)
- What is Common Sense and How to Formalize it? (Condensed Slides) (1985) (0)
- Extension of The LISP Language (1962) (0)
- Gs89] F. Giunchiglia and A. Smaill. Reeection in Constructive and Non- Constructive Automated Reasoning. 4 Final Considerations 3.2 Solving the Predict Problem (1993) (0)
- 5.2 Compatibility (1997) (0)
- "Proposal for Continuation of the Stanford Artificial Intelligence Project and the Heuristic DENDRAL Project" (Cover & Table of Contents) (1969) (0)
- THE MAC SYSTEM: A PROGRESS REPORT INTRODUCTION The notion of machine-aided cognition implies an intimate col- laboration between a human user and a computer in a real-time dialogue on the solution of a problem, in which the two parties (2013) (0)
- Logical formalization of commonsense reasoning : papers from the 2003 AAAI Symposium, March 24-26, Stanford, California (2003) (0)
- What ’ s Missing from Deep Learning ? (2017) (0)
- 2003 AAAI Spring Symposium Series (2003) (0)
- Artificial Intelligence in Cardiac Imaging: the Future is Here (2020) (0)
- Did Something Go Wrong? (2006) (0)
- Cognitive Science (2015) (0)
- Interoperability via Architecture U.s. Partners Brazilian Partner Previous Interactions Bio and Indication of Submission to Cnpq from Brazilian Partner See Attached. Mathematical and Engineering Foundations for Interoperability via Architecture (1998) (0)
- Advice about logical AI (2003) (0)
- SML-Examples of Proofs by Recursion Induction (1960) (0)
- HUMAN-TYPE COMMON SENSE NEEDS EXTENSIONS TO LOGIC (2007) (0)
- Final report: Basic Research in Artificial Intelligence and Foundations of Programming (1980) (0)
- President% Quarterly Message Ai Needs More Emf'hasis on Basic Research (0)
- AllEOfl 5077 h 2 (2014) (0)
- A Universal Architecture for Migrating Cognitive Agents : A Case Study on Automatic Animation Generation (2019) (0)
- "Proposal for Continuation of the Stanford Artificial Intelligence Project and the Heuristic DENDRAL Project" (pages C1-D24) (1969) (0)
- Stanford Artifical Intelligence Project - Technical Report (1968) (0)
- Knowledge Representation (1977) (0)
- Defending Al Research: A Collection of Essays and Reviews(Lecture Notes Series) (1996) (0)
- Puzzle Solving Program in LISP (1960) (0)
- In memoriam—Arthur Samuel (1901–1990) (1990) (0)
- Recent research in computer science. (1977) (0)
- A review of: “Attention and Performance XIII: Motor Representation and Control”, edited by M. JEANNEROD, Lawrence Erlbaum Associates, Publishers, Hillsdale, New Jersey (1990), pp. 876, £83·95. ISBN 0-8058-0565-6. (1993) (0)
This paper list is powered by the following services:
Other Resources About John McCarthy
What Schools Are Affiliated With John McCarthy ?
John McCarthy is affiliated with the following schools:
