John McCarthy
#68
Most Influential Person Now
American computer scientist and cognitive scientist
John McCarthy 's AcademicInfluence.com Rankings
John McCarthy computer-science Degrees
Computer Science
#5
World Rank
#5
Historical Rank
#4
USA Rank
Artificial Intelligence
#2
World Rank
#2
Historical Rank
#1
USA Rank
Database
#41
World Rank
#43
Historical Rank
#22
USA Rank
John McCarthy psychology Degrees
Psychology
#270
World Rank
#389
Historical Rank
#184
USA Rank
Cognitive Science
#16
World Rank
#16
Historical Rank
#9
USA Rank
Download Badge
Computer Science Psychology
John McCarthy 's Degrees
- PhD Mathematics Princeton University
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 Works
- SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE (1987) (3875)
- Circumscription - A Form of Non-Monotonic Reasoning (1980) (2329)
- Recursive functions of symbolic expressions and their computation by machine, Part I (1959) (1517)
- Applications of Circumscription to Formalizing Common Sense Knowledge (1987) (1287)
- Programs with common sense (1960) (1191)
- Notes on Formalizing Context (1993) (966)
- Revised report on the algorithm language ALGOL 60 (1963) (821)
- LISP 1.5 Programmer's Manual (1962) (665)
- Towards a Mathematical Science of Computation (1962) (630)
- Situations, Actions, and Causal Laws (1963) (581)
- What Computers Still Can't Do (1996) (569)
- Report on the algorithmic language ALGOL 60 (1960) (567)
- Epistemological Problems of Artificial Intelligence (1987) (423)
- Generality in artificial intelligence (1987) (376)
- Mathematical Theory of Computation (1991) (353)
- Formalizing Context (Expanded Notes) (1994) (341)
- 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) (301)
- CIRCUMSCRIPTION — A FORM OF NONMONOTONIC REASONING (2007) (233)
- WHAT IS ARTIFICIAL INTELLIGENCE (1998) (230)
- History of LISP (1978) (226)
- First Order Theories of Individual Concepts and Propositions. (1979) (225)
- Cognitive Wheels : The Frame Problem of AI (198)
- Formalizing Common Sense: Papers by John McCarthy (1998) (187)
- From Here to Human-Level AI (1996) (170)
- Making Robots Conscious of Their Mental States (1995) (165)
- Artificial Intelligence, Logic and Formalizing Common Sense (1989) (160)
- ELABORATION TOLERANCE (1997) (144)
- The Inversion of Functions Defined by Turing Machines (1956) (124)
- The well-designed child (2008) (109)
- Some Expert Systems Need Common Sense (1984) (107)
- Queue-based multi-processing LISP (1984) (102)
- On the model theory of knowledge (1978) (93)
- A Formal Description of a Subset of Algol (1964) (93)
- Formalization of two Puzzles Involving Knowledge (1987) (87)
- PROPERTIES OF PROGRAMS AND PARTIAL FUNCTION LOGIC (1969) (78)
- Epistemological challenges for connectionism (1988) (74)
- Mathematical logic in artificial intelligence (1989) (69)
- Circumscription—a form of non-monotonic reasoning (1987) (68)
- Recursive Functions of Symbolic Expressions (1983) (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) (48)
- Addendum: Circumscription and other Non-Monotonic Formalisms (1980) (44)
- Reminiscences on the History of Time-Sharing (1992) (44)
- Phenomenal data mining (2000) (42)
- AI as Sport (1997) (41)
- Chess as the Drosophila of AI (1990) (38)
- An architecture of diversity for commonsense reasoning (2002) (35)
- 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)
- Some Universal Elements for Finite Automata (1970) (26)
- Useful Counterfactuals (1999) (26)
- Modality, Si! Modal Logic, No! (1997) (25)
- ON FORMALIZING CONTEXT (1993) (25)
- Elephant 2000: a programming language based on speech acts (2007) (24)
- First order programming logic (1979) (24)
- Phenomenal data mining: from data to phenomena (2000) (23)
- Approximate Objects and Approximate Theories (2000) (23)
- Free will - even for robots (2000) (22)
- Mental Situation Calculus (1986) (22)
- Recursive programs as functions in a first order theory (1978) (21)
- Automata Studies. (AM-34) (1956) (20)
- AI's greatest trends and controversies (2000) (19)
- Coloring maps and the Kowalski doctrine (1982) (18)
- Predicate Calculus with 'Undefined' as a Truth-Value, (1963) (18)
- The Syntax of Numeral Expressions (2005) (17)
- A LOGICAL AI APPROACH TO CONTEXT (1995) (17)
- Combining Narratives (1998) (17)
- Problems in the Theory of Computation (1965) (17)
- USING A FORMAL LANGUAGE TO SUPPORT NATURALLANGUAGE IN ACCIDENT (1995) (16)
- The linking segment subprogram language and linking loader (1963) (16)
- The Little Thoughts of Thinking Machines (1999) (14)
- A panel on knowledge representation (1977) (13)
- CREATIVE SOLUTIONS TO PROBLEMS (1999) (13)
- LISP: a programming system for symbolic manipulations (1959) (13)
- A micro-manual for LISP - not the whole truth (1978) (12)
- Combining Planning Contexts (1996) (12)
- Computer poker (1995) (12)
- LISP - notes on its past and future (1980) (12)
- Multiagent Reasoning with Belief Contexts II: Elaboration Tolerance (1994) (12)
- Automata Studies. (AM-34) (Annals of Mathematics Studies) (1956) (12)
- THOR: a display based time sharing system (1967) (11)
- The Mutilated Checkerboard in Set Theory (2006) (10)
- History of Circumscription (1993) (10)
- Partial Formalizations And The Lemmings Game (1998) (10)
- THE PHILOSOPHY OF AI AND THE AI OF PHILOSOPHY (2008) (10)
- Topological disorder in peripheral vision (1994) (10)
- Programming languages: a grand tour (1983) (9)
- A grounding framework (2009) (9)
- Problems and projections in CS for the next 49 years (2003) (9)
- An interesting LISP function (1979) (9)
- Concept of logical AI (2000) (8)
- CONCEPTS OF LOGICAL AI (1999) (8)
- Modified Report on the Algorithmic Language ALGOL 60 (1976) (8)
- The Frame Problem Today (1987) (8)
- Awareness and Understanding in Computer Programs: A Review of Shadows of the Mind by Roger Penrose (2008) (7)
- Beliefs, machines, and theories (1980) (6)
- 1959 Memorandum (1992) (6)
- Genes and apoptosis. (1994) (6)
- NOTES ON SELF-AWARENESS (2004) (5)
- Challenges to Machine Learning: Relations Between Reality and Appearance (2007) (5)
- Todd Moody's Zombies (1995) (5)
- Philosophical and Scientific Presuppositions of Logical AI (1999) (5)
- Formalizing Context (expanded Notes) the Development of These Ideas Has Beneetted from Discussions With (1997) (5)
- Panel Discussion (1984) (5)
- Overcoming Unexpected Obstacles (1994) (5)
- Commentary on McDermott (1987) (4)
- The Fruitfly on the Fly (1989) (4)
- Command neurons and unitary behavior (1978) (4)
- Time-shared program testing (1959) (4)
- On Efficient Ways of Evaluating Certain Recursive Functions (1962) (3)
- A New Eval Function (1962) (3)
- Some Aspects of Imagery in Buchner's Woyzeck. (1976) (3)
- SIMPLE DETERMINISTIC FREE WILL (2002) (3)
- Must Be The... (1972) (2)
- Memory Allocation and the Garbage Collector (1962) (2)
- Lessons from the Lighthill Flap (1990) (2)
- Arbitrary Character Sets (1972) (2)
- PHENOMENAL DATA MINING: FROM OBSERVATIONS TO PHENOMENA (1997) (2)
- Functions and Constants in the LISP System (1962) (2)
- The whole and divided self (1997) (2)
- It’s Past Time for Practical Computer Checked Proofs of Program Correctness (1990) (2)
- Hitchin's projectively flat connection and the moduli space of Higgs bundles (2018) (2)
- A Proof-Checker for Predicate Calculus, (1965) (2)
- Comments on time sharing (1967) (1)
- LISP|NOTES ON ITS PAST AND FUTURE|1980 (1999) (1)
- The A.M. Turing Award: 1971 ACM A. M. Turing Award (1971) (1)
- Phenomenal data-mining (2001) (1)
- The Uncommon Logician of Common Sense (1998) (1)
- The LISP Compiler (1962) (1)
- Deep issues: phenomenal data mining. (2000) (1)
- ‘Live like a Man and not like a Monkey’: Nietzsche’s Philosophic Vitalism and Darwin’s Theory of Evolution (2011) (1)
- LISP Input and Output (1962) (1)
- LISP for SHARE Distribution (1962) (1)
- A Logical Approach to Context (1996) (1)
- IV – LISP SESSION (1981) (1)
- The Moral Obligation of Voting (1954) (1)
- Oral history interview with John McCarthy (1989) (1)
- Silence: Descriptions and Queries (1983) (1)
- RISKS-FORUM digest contributions (1991) (1)
- Destiny And Purpose (2005) (1)
- Introduction to Higgs Bundles (2020) (1)
- The Jakarta switch (2018) (1)
- Historical Remarks on Nonmonotonic Reasoning, Especially Circumscription (2004) (1)
- Two Kinds of Program Specifications (1990) (1)
- The Wang Algorithm for the Propositional Calculus Programmed in LISP (1959) (1)
- Puzzle Solving Program in LISP (1960) (0)
- Deductive Technologies For Software Development (0)
- AllEOfl 5077 h 2 (2014) (0)
- HUMAN-TYPE COMMON SENSE NEEDS EXTENSIONS TO LOGIC (2007) (0)
- Control Structure Abstractions oftheBacktracking Programming Technique (1976) (0)
- Did Something Go Wrong? (2006) (0)
- Varieties of Formalized Contexts and Subcontexts (1995) (0)
- Notes on improving Lisp (1987) (0)
- Basic Research in Knowledge Representation (1998) (0)
- 5.2 Compatibility (1997) (0)
- A Complete LISP Program — The Wang Algorithm for The Propositional Calculus (1962) (0)
- Combination and Interoperation of Logical Systems Research in Formal Interoperability (1999) (0)
- Open Mechanized Reasoning Systems Proposal to Nsf Principal Investigator Participating Investigators (1992) (0)
- Shoot, a love poem (2014) (0)
- The City and its Region (2016) (0)
- A spectator sport. (1996) (0)
- Appendix: Report on the algorithmic language ALGOL 60 (1961) (0)
- Sir William Thomas Prentice KtCR MBE (1919 - 2004) (2004) (0)
- Running the LISP System (1962) (0)
- Policy Implications (2019) (0)
- BSI certification. (1990) (0)
- A spectator sport. (1996) (0)
- Whitfield: A Peripheral Estate (2016) (0)
- The Imperial Commitment 1939–41 (2008) (0)
- For the Opossum, My Sympathy (2020) (0)
- Introduction (2019) (0)
- The LISP Interpreter System (1962) (0)
- SML-Examples of Proofs by Recursion Induction (1960) (0)
- Tellers of Tales (1995) (0)
- Transcript of presentation (1978) (0)
- The LISP Assembly Program (LAP) (1962) (0)
- Jon Doyle, Extending Mechanics to Minds: The Mechanical Foundations of Psychology and Economics, Cambridge University Press (2006) (2006) (0)
- Discussion, papers 1 to 5 (1990) (0)
- Stanford University low overhead timesharing (1976) (0)
- A Paper for a Friend (2007) (0)
- Advice about logical AI (2003) (0)
- Distiller's Art (1992) (0)
- Book reviews (2009) (0)
- Knowledge Representation (1977) (0)
- Lecture 1 (2019) (0)
- The thousand guinea trophy, 1914-1997 (1999) (0)
- Regulating the Integrity of Pipeline Systems (2000) (0)
- OVERLORD — The Monitor (1962) (0)
- Common Prototyping Language (1991) (0)
- Holistic Regeneration Approaches (2016) (0)
- What is Common Sense and How to Formalize it? (Condensed Slides) (1985) (0)
- Pipeline Research Needs (1997) (0)
- Property-Led Approaches (2016) (0)
- Projects in LISP (1959) (0)
- The LISP Interpreter (1962) (0)
- Overwhelm and Want (2014) (0)
- The Tower of Stanford: 10956 (2004) (0)
- Philadelphia Soul Music (2018) (0)
- Clarification of whole body dose. (1995) (0)
- Pickup Truck #5 (2015) (0)
- How DDC works (1988) (0)
- Philosophical Premises of Logical AI John McCarthy (0)
- The Web - early visions, present reality, the grander future (2004) (0)
- Politicians and Friends (2006) (0)
- The LISP Language (1962) (0)
- STAN-CS-80-788 CIRCUMSCRIPTION-A FORM OF NON-MONOTONIC REASONING (1998) (0)
- Open Architecture for Formal Reasoning (1991) (0)
- Open architectures for formal reasoning and deductive technologies for software development (1994) (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)
- QLISP for Parallel Processors (1990) (0)
- Index to Function Descriptions (1962) (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)
- First signs of solidarity in the Soviet Union (1989) (0)
- Notes on the Compiler (1958) (0)
- Research in mathematical theory of computation. [computer programming applications (1973) (0)
- The 1971 ACM A. M. Turing Award (1971) (0)
- Review: Paul W. Abrahams, Machine Verification of Mathematical Proof (1972) (0)
- Recursion and the Push-Down List (1962) (0)
- Extension of The LISP Language (1962) (0)
- Arithmetic in LISP (1962) (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:
