#398

Most Influential Person

American computer scientist and cognitive scientist

According to Wikipedia, John McCarthy was an American computer scientist and cognitive scientist. McCarthy was one of the founders of the discipline of artificial intelligence. He co-authored the document that coined the term "artificial intelligence" , developed the Lisp programming language family, significantly influenced the design of the ALGOL programming language, popularized time-sharing, and invented garbage collection.

- SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE (3663)
- Circumscription - A Form of Non-Monotonic Reasoning (2309)
- Recursive functions of symbolic expressions and their computation by machine, Part I (1462)
- Applications of Circumscription to Formalizing Common Sense Knowledge (1259)
- Programs with common sense (1117)
- Notes on Formalizing Context (942)
- LISP 1.5 Programmer's Manual (649)
- Towards a Mathematical Science of Computation (609)
- Situations, Actions, and Causal Laws (547)
- What Computers Still Can't Do (538)
- A Basis for a Mathematical Theory of Computation (507)
- Epistemological Problems of Artificial Intelligence (403)
- Generality in artificial intelligence (387)
- CIRCUMSCRIPTION — A FORM OF NONMONOTONIC REASONING (335)
- Formalizing Context (Expanded Notes) (334)
- A Basis for a Mathematical Theory of Computation1) (318)
- Correctness of a compiler for arithmetic expressions (309)
- Ascribing Mental Qualities to Machines (295)
- Mathematical Theory of Computation (272)
- First Order Theories of Individual Concepts and Propositions. (228)
- WHAT IS ARTIFICIAL INTELLIGENCE (228)
- History of LISP (211)
- Formalizing Common Sense: Papers by John McCarthy (189)
- Making Robots Conscious of Their Mental States (160)
- Cognitive Wheels : The Frame Problem of AI (143)
- ELABORATION TOLERANCE (127)
- From Here to Human-Level AI (122)
- The Inversion of Functions Defined by Turing Machines (116)
- Artificial Intelligence, Logic and Formalizing Common Sense (111)
- Queue-based multi-processing LISP (108)
- The well-designed child (101)
- On the model theory of knowledge (93)
- A Formal Description of a Subset of Algol (90)
- Recursive Functions of Symbolic Expressions (87)
- Formalization of two Puzzles Involving Knowledge (82)
- PROPERTIES OF PROGRAMS AND PARTIAL FUNCTION LOGIC (77)
- Epistemological challenges for connectionism (70)
- Circumscription—a form of non-monotonic reasoning (63)
- Varieties of Contexts (63)
- A Tough Nut for Proof Procedures (61)
- Mathematical logic in artificial intelligence (60)
- Actions and Other Events in Situation Calculus (58)
- Computer programs for checking mathematical proofs (45)
- A basis for a mathematical theory of computation, preliminary report (45)
- Addendum: Circumscription and other Non-Monotonic Formalisms (44)
- Reminiscences on the History of Time-Sharing (41)
- Phenomenal data mining (40)
- AI as Sport (39)
- An architecture of diversity for commonsense reasoning (35)
- Professor Sir James Lighthill, FRS. Artificial Intelligence: A General Survey (33)
- Chess as the Drosophila of AI (32)
- SITUATION CALCULUS WITH CONCURRENT EVENTS AND NARRATIVE (31)
- What has AI in Common with Philosophy? (29)
- First order programming logic (26)
- Phenomenal data mining: from data to phenomena (24)
- Some Universal Elements for Finite Automata (24)
- Modality, Si! Modal Logic, No! (24)
- Useful Counterfactuals (23)
- Mental Situation Calculus (22)
- Approximate Objects and Approximate Theories (22)
- ON FORMALIZING CONTEXT (22)
- Recursive programs as functions in a first order theory (22)
- Elephant 2000: a programming language based on speech acts (21)
- Coloring maps and the Kowalski doctrine (19)
- Free will - even for robots (19)
- Automata Studies. (AM-34) (19)
- Combining Narratives (17)
- Predicate Calculus with 'Undefined' as a Truth-Value, (16)
- The linking segment subprogram language and linking loader (16)
- A LOGICAL AI APPROACH TO CONTEXT (16)
- Problems in the Theory of Computation (15)
- A panel on knowledge representation (14)
- Automata Studies. (AM-34) (Annals of Mathematics Studies) (13)
- Generality in artificial intelligence (13)
- Dividing and conquering logic (13)
- CREATIVE SOLUTIONS TO PROBLEMS (13)
- The Syntax of Numeral Expressions (12)
- LISP - notes on its past and future (12)
- Computer poker (12)
- Combining Planning Contexts (12)
- A micro-manual for LISP - not the whole truth (11)
- THOR: a display based time sharing system (11)
- Multiagent Reasoning with Belief Contexts II: Elaboration Tolerance (11)
- Topological disorder in peripheral vision. (10)
- The Mutilated Checkerboard in Set Theory (10)
- History of Circumscription (10)
- The Little Thoughts of Thinking Machines (10)
- Partial Formalizations And The Lemmings Game (10)
- LISP: a programming system for symbolic manipulations (10)
- The Frame Problem Today (9)
- Problems and projections in CS for the next 49 years (9)
- A grounding framework (9)
- Programming languages: a grand tour (8)
- An interesting LISP function (8)
- Awareness and Understanding in Computer Programs: A Review of Shadows of the Mind by Roger Penrose (8)
- Concept of logical AI (7)
- THE PHILOSOPHY OF AI AND THE AI OF PHILOSOPHY (7)
- Formalizing Context (expanded Notes) the Development of These Ideas Has Beneetted from Discussions With (6)
- CONCEPTS OF LOGICAL AI (6)
- Genes and apoptosis. (6)
- 1959 Memorandum (6)
- NOTES ON SELF-AWARENESS (5)
- Beliefs, machines, and theories (5)
- Panel Discussion (5)
- Overcoming Unexpected Obstacles (5)
- Philosophical and Scientific Presuppositions of Logical AI (5)
- Challenges to Machine Learning: Relations Between Reality and Appearance (4)
- Todd Moody's Zombies (4)
- Time-shared program testing (4)
- Command neurons and unitary behavior (4)
- Formalizing elaboration tolerance (4)
- The Fruitfly on the Fly (4)
- Commentary on McDermott (4)
- On Efficient Ways of Evaluating Certain Recursive Functions (3)
- SIMPLE DETERMINISTIC FREE WILL (3)
- A New Eval Function (3)
- PHENOMENAL DATA MINING: FROM OBSERVATIONS TO PHENOMENA (2)
- A Proof-Checker for Predicate Calculus, (2)
- Must Be The... (2)
- Memory Allocation and the Garbage Collector (2)
- It’s Past Time for Practical Computer Checked Proofs of Program Correctness (2)
- Lessons from the Lighthill Flap (2)
- The whole and divided self (2)
- Historical Remarks on Nonmonotonic Reasoning, Especially Circumscription (1)
- LISP Input and Output (1)
- Deep issues: phenomenal data mining. (1)
- The Jakarta switch (1)
- Arbitrary Character Sets (1)
- IV – LISP SESSION (1)
- LISP for SHARE Distribution (1)
- LISP|NOTES ON ITS PAST AND FUTURE|1980 (1)
- The LISP Compiler (1)
- The Wang Algorithm for the Propositional Calculus Programmed in LISP (1)
- A Logical Approach to Context (1)
- The Uncommon Logician of Common Sense (1)
- Functions and Constants in the LISP System (1)
- The Moral Obligation of Voting (1)
- Destiny And Purpose (1)
- The A.M. Turing Award: 1971 ACM A. M. Turing Award (1)
- RISKS-FORUM digest contributions (1)
- Hitchin's projectively flat connection and the moduli space of Higgs bundles (1)
- Silence: Descriptions and Queries (1)
- Two Kinds of Program Specifications (1)
- Oral history interview with John McCarthy (1)
- The thousand guinea trophy, 1914-1997 (0)
- The Imperial Commitment 1939–41 (0)
- History of LISP (0)
- Index to Function Descriptions (0)
- Book reviews (0)
- Basic Research in Knowledge Representation (0)
- Introduction to Higgs Bundles (0)
- How DDC works (0)
- 5.2 Compatibility (0)
- Gs89] F. Giunchiglia and A. Smaill. Reeection in Constructive and Non- Constructive Automated Reasoning. 4 Final Considerations 3.2 Solving the Predict Problem (0)
- Open Mechanized Reasoning Systems Proposal to Nsf Principal Investigator Participating Investigators (0)
- A spectator sport. (0)
- Extension of The LISP Language (0)
- Modality in the ways of context (0)
- Pickup Truck #5 (0)
- A Paper for a Friend (0)
- Advice about logical AI (0)
- SML-Examples of Proofs by Recursion Induction (0)
- BSI certification. (0)
- Pipeline Research Needs (0)
- Property-Led Approaches (0)
- The Web - early visions, present reality, the grander future (0)
- Review: Paul W. Abrahams, Machine Verification of Mathematical Proof (0)
- Politicians and Friends (0)
- Combination and Interoperation of Logical Systems Research in Formal Interoperability (0)
- Knowledge Representation (0)
- First signs of solidarity in the Soviet Union (0)
- Open architectures for formal reasoning and deductive technologies for software development (0)
- HUMAN-TYPE COMMON SENSE NEEDS EXTENSIONS TO LOGIC (0)
- What is Common Sense and How to Formalize it? (Condensed Slides) (0)
- Research in mathematical theory of computation. [computer programming applications (0)
- Puzzle Solving Program in LISP (0)
- QLISP for Parallel Processors (0)
- OVERLORD — The Monitor (0)
- Clarification of whole body dose. (0)
- Varieties of Formalized Contexts and Subcontexts (0)
- Did Something Go Wrong? (0)
- For the Opossum, My Sympathy (0)
- The Tower of Stanford: 10956 (0)
- Sir William Thomas Prentice KtCR MBE (1919 - 2004) (0)
- Arithmetic in LISP (0)
- Control Structure Abstractions oftheBacktracking Programming Technique (0)
- Whitfield: A Peripheral Estate (0)
- Regulating the Integrity of Pipeline Systems (0)
- STAN-CS-80-788 CIRCUMSCRIPTION-A FORM OF NON-MONOTONIC REASONING (0)
- The 1971 ACM A. M. Turing Award (0)
- Tellers of Tales (0)
- Shoot, a love poem (0)
- AllEOfl 5077 h 2 (0)
- A Complete LISP Program — The Wang Algorithm for The Propositional Calculus (0)
- Transcript of presentation (0)
- A spectator sport. (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 (0)
- The City and its Region (0)
- The LISP Language (0)
- Projects in LISP (0)
- Notes on improving Lisp (0)
- The LISP Interpreter (0)
- Running the LISP System (0)
- The LISP Interpreter System (0)
- Deductive Technologies For Software Development (0)
- Holistic Regeneration Approaches (0)
- Distiller's Art (0)
- Discussion, papers 1 to 5 (0)
- Overwhelm and Want (0)
- Jon Doyle, Extending Mechanics to Minds: The Mechanical Foundations of Psychology and Economics, Cambridge University Press (2006) (0)
- Open Architecture for Formal Reasoning (0)
- Stanford University low overhead timesharing (0)
- Recursion and the Push-Down List (0)
- The LISP Assembly Program (LAP) (0)

This paper list is powered by the following services:

John McCarthy is affiliated with the following schools:

This website uses cookies to enhance the user experience. Privacy Policy

Stay informed! Get the latest Academic Influence news, information, and rankings with our upcoming newsletter.