John McCarthy
Sign up for weekly Clojure tips, software design, and a Clojure coding challenge.

From OO to Clojure Workshop!
Watch my free workshop to help you learn Clojure faster and shift your paradigm to functional.
A Model for Materials Databases
PDFPaperA New Eval Function
PDFPaperA Proposal for the Dartmouth Summer Research Project on Artificial Intelligence
PDFPaperA computer with hands, eyes, and ears
PDFPaperA grounding framework
PDFPaperA micro-manual for LISP-not the whole truth
PDFPaperA proof-checker for predicate calculus
PDFPaperA tough nut for proof procedures
PDFPaperAI and Philosophy: How Can You Know the Dancer from the Dance?
PDFPaperAI's greatest trends and controversies
PDFPaperActions and other events in situation calculus
PDFPaperAddendum: Circumscription and other non-monotonic formalisms
PDFPaperAn architecture of diversity for commonsense reasoning
PDFPaperAn example for natural language understanding and the AI problems it raises
PDFPaperApplications of circumscription to formalizing common-sense knowledge
PDFPaperApproximate objects and approximate theories
PDFPaperArtificial Intelligence - Thinking Allowed
VideoPresentationArtificial Intelligence Needs More Emphasis on Basic Research: President's Quarterly Message
PDFPaperAscribing mental qualities to machines
PDFPaperAutomata studies
PDFPaperAwareness and Understanding in Computer Programs
PDFPaperCHALLENGES TO MACHINE LEARNING: Relations between reality and appearance
PDFPaperCODE OF ETHICS RECONSIDERED
PDFPaperCRITERIA FOR USEFULNESS OF COMPUTERS IN OFFICES
PDFPaperChess as the drosophila of AI
PDFPaperCircumscription—a form of non-monotonic reasoning
PDFPaperColoring maps and the Kowalski doctrine
PDFPaperCombination and Interoperation of Logical Systems Research in Formal Interoperability
PDFPaperCombining narratives
PDFPaperCombining planning contexts
PDFPaperCommentary on McDermott
PDFPaperComments on time sharing
PDFPaperComputer Chronicles - Artificial Intelligence
VideoInterviewComputer Controlled Cars
PDFPaperComputer power and human reason: from judgment to calculation
PDFPaperCorrectness of a compiler for arithmetic expressions
PDFPaperCreative solutions to problems
PDFPaperDefending Al Research: A Collection of Essays and Reviews (Lecture Notes Series)
PDFPaperDefinition of new data types in ALGOL x
PDFPaperDialnet
PDFPaperDid Something Go Wrong?
PDFPaperENRAC Debates
PDFPaperElaboration tolerance
PDFPaperEpistemological problems of artificial intelligence
PDFPaperExtending mechanics to minds: The mechanical foundations of psychology and economics
PDFPaperFinal report: Basic Research in Artificial Intelligence and Foundations of Programming
PDFPaperFirst order theories of individual concepts and propositions
PDFPaperFormalization of STRIPS in situation calculus
PDFPaperFormalization of two puzzles involving knowledge
PDFPaperFormalizing context (expanded notes)
PDFPaperFree will-even for robots
PDFPaperFrom here to human-level AI
PDFPaperGenerality in artificial intelligence
PDFPaperGuy Steele Interviews John McCarthy, Father of Lisp
VideoInterviewHUMAN-LEVEL AI: THE LOGICAL ROAD
PDFPaperHistorical remarks on nonmonotonic reasoning, especially circumscription
PDFPaperHistory of LISP
PDFPaperHistory of circumscription
PDFPaperHubert Dreyfus, What computers still can't do
PDFPaperIn Honor of Marvin Minsky's Contributions on his 80th Birthday
PDFPaperIn Memoriam: Arthur Samuel: Pioneer in Machine Learning
PDFPaperIt’s Past Time for Practical Computer Checked Proofs of Program Correctness
PDFPaperJMC2009-Awards. John McCarthy remarks
VideoPresentationJohn McCarthy, on Philosophy of AI (Mini Symposium Philosophy of Information)
VideoPresentationLISP 1.5 Programmer's Manual
TextBooksLISP Programmers Manual, Handwritten Draft
PDFPaperLISP-notes on its past and future
PDFPaperLessons from the Lighthill Flap
PDFPaperLisp, Ruby and the Computer Industry
VideoInterviewLisp: a programming system for symbolic manipulations
PDFPaperMaking robots conscious of their mental states
PDFPaperMental situation calculus
PDFPaperMethod of collecting crude oil and crude oil collection header apparatus
PDFPaperMinimal Inference: A Way of Jumping to Conclusions
PDFPaperModality for Robots-Responses to Halpern and Wansing
PDFPaperModality, si! Modal logic, no!
PDFPaperNotes on formalizing context
VideoPaperNotes on self-awareness
PDFPaperOn Efficient Ways of Evaluating Certain Recursive Functions
PDFPaperOn the Model Theory of Knowledge
PDFPaperOpen Mechanized Reasoning Systems
PDFPaperOpen architectures for formal reasoning and deductive technologies for software development
PDFPaperOvercoming Unexpected Obstacles
PDFPaperParallel Lisp: Languages and Systems: US/Japan Workshop on Parallel Lisp, Sendai, Japan, June 5-8, 1989, Proceedings
PDFPaperParameterizing models of propositional calculus formulas
PDFPresentationPartial formalizations and the lemmings game
PDFPaperPhenomenal data mining
PDFPaperPhilosophical and scientific presuppositions of logical AI
PDFPaperProblems and Projections in CS for the Next 49 Years
PDFPaperProblems in the theory of computation
PDFPaperPrograms with common sense
PDFPaperProperties of programs and partial function logic
PDFPaperQlisp
PDFPaperQueue-based Multi-processing Lisp
PDFPaperRISKS-FORUM digest contributions
PDFPaperRecursive functions of symbolic expressions and their computation by machine, Part I
PDFPaperRecursive programs as functions in a first order theory
PDFPaperReminiscences on the history of time sharing
PDFPaperRepresentation of recursive programs in first order logic
PDFPaperReview of The Emperor’s New Mind by Roger Penrose
PDFPaperReview: Roger Penrose, The emperor's new mind
TextArticleRevised report on the algorithmic language ALGOL 60
PDFPaperSimple deterministic free will
PDFPaperSituation calculus with concurrent events and narrative
PDFPaperSituations, actions, and causal laws
PDFPaperSome expert systems need common sense
PDFPresentationSome philosophical problems from the standpoint of artificial intelligence
PDFPaperStanford Computer Science Video Journal: Artificial Intelligence Research Lectures
PDFPaperTHE LOGIC AND PHILOSOPHY OF ARTIFICIAL INTELLIGENCE
PDFPresentationTechnology As Experience
TextBooksThe Origins and Nature of Computation/Formalizing Commomn Sense Knowledge in Mathematical Logic
VideoPresentationThe Tower of Stanford: 10956
PDFPaperThe Wang algorithm for the propositional calculus programmed in LISP
PDFPaperThe Web-Early Visions, Present Reality, the Grander Future
PDFPaperThe automated biological laboratory
PDFPaperA chapter in the book Biology and the Exploration of Mars.
The common business communication language
PDFPaperThe frame problem today
PDFPaperThe inversion of functions defined by Turing machines
PDFPaperThe linking segment subprogram language and linking loader
PDFPaperThe mutilated checkerboard in set theory
PDFPaperThe robot and the baby
PDFPaperThe well-designed child
PDFPaperThis 1963 paper was includedin Computer Programming and Formal Sys-tems, edited by P. Braort and D. Hirshberg and published by North-Holland. An earlier version was published in 1961 in the Proceedings of the WesternThis 1963 paper was includedin Computer Programming and Formal Sys-tems, edited by P. Braort and D. Hirshberg and published by North-Holland. An earlier version was published in 1961 in the Proceedings of the Western
PDFPaperThree Reviews of J. Weizenbaum's Computer Power and Human Reason.
PDFPresentationTime-shared program testing
PDFPaperTime-sharing computer systems
PDFPaperTodd Moodys zombies
PDFPresentationUseful counterfactuals
PDFPaperVarieties of contexts
PDFPaperWe Need Better Standards for Artificial Intelligence Research: President's Message
PDFPaperWe need better standards for AI research
PDFPaperWhat has AI in Common with Philosophy?
PDFPaperXVI. ARTIFICIAL INTELLIGENCE
PDFPaper