John McCarthy

A Model for Materials Databases
PDFPaper
A New Eval Function
PDFPaper
A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence
PDFPaper
A computer with hands, eyes, and ears
PDFPaper
A grounding framework
PDFPaper
A micro-manual for LISP-not the whole truth
PDFPaper
A proof-checker for predicate calculus
PDFPaper
A tough nut for proof procedures
PDFPaper
AI and Philosophy: How Can You Know the Dancer from the Dance?
PDFPaper
AI's greatest trends and controversies
PDFPaper
Actions and other events in situation calculus
PDFPaper
Addendum: Circumscription and other non-monotonic formalisms
PDFPaper
An architecture of diversity for commonsense reasoning
PDFPaper
An example for natural language understanding and the AI problems it raises
PDFPaper
Applications of circumscription to formalizing common-sense knowledge
PDFPaper
Approximate objects and approximate theories
PDFPaper
Artificial Intelligence - Thinking Allowed
VideoPresentation
Artificial Intelligence Needs More Emphasis on Basic Research: President's Quarterly Message
PDFPaper
Ascribing mental qualities to machines
PDFPaper
Automata studies
PDFPaper
Awareness and Understanding in Computer Programs
PDFPaper
CHALLENGES TO MACHINE LEARNING: Relations between reality and appearance
PDFPaper
CODE OF ETHICS RECONSIDERED
PDFPaper
CRITERIA FOR USEFULNESS OF COMPUTERS IN OFFICES
PDFPaper
Chess as the drosophila of AI
PDFPaper
Circumscription—a form of non-monotonic reasoning
PDFPaper
Coloring maps and the Kowalski doctrine
PDFPaper
Combination and Interoperation of Logical Systems Research in Formal Interoperability
PDFPaper
Combining narratives
PDFPaper
Combining planning contexts
PDFPaper
Commentary on McDermott
PDFPaper
Comments on time sharing
PDFPaper
Computer Chronicles - Artificial Intelligence
VideoInterview
Computer Controlled Cars
PDFPaper
Computer power and human reason: from judgment to calculation
PDFPaper
Correctness of a compiler for arithmetic expressions
PDFPaper
Creative solutions to problems
PDFPaper
Defending Al Research: A Collection of Essays and Reviews (Lecture Notes Series)
PDFPaper
Definition of new data types in ALGOL x
PDFPaper
Dialnet
PDFPaper
Did Something Go Wrong?
PDFPaper
ENRAC Debates
PDFPaper
Elaboration tolerance
PDFPaper
Epistemological problems of artificial intelligence
PDFPaper
Extending mechanics to minds: The mechanical foundations of psychology and economics
PDFPaper
Final report: Basic Research in Artificial Intelligence and Foundations of Programming
PDFPaper
First order theories of individual concepts and propositions
PDFPaper
https://purelyfunctional.tv/wp-content/uploads/2016/12/lisp-3.png
Formalization of STRIPS in situation calculus
PDFPaper
Formalization of two puzzles involving knowledge
PDFPaper
Formalizing context (expanded notes)
PDFPaper
Free will-even for robots
PDFPaper
From here to human-level AI
PDFPaper
Generality in artificial intelligence
PDFPaper
Guy Steele Interviews John McCarthy, Father of Lisp
VideoInterview
HUMAN-LEVEL AI: THE LOGICAL ROAD
PDFPaper
Historical remarks on nonmonotonic reasoning, especially circumscription
PDFPaper
History of LISP
PDFPaper
History of circumscription
PDFPaper
Hubert Dreyfus, What computers still can't do
PDFPaper
In Honor of Marvin Minsky's Contributions on his 80th Birthday
PDFPaper
In Memoriam: Arthur Samuel: Pioneer in Machine Learning
PDFPaper
It’s Past Time for Practical Computer Checked Proofs of Program Correctness
PDFPaper
JMC2009-Awards. John McCarthy remarks
VideoPresentation
John McCarthy, on Philosophy of AI (Mini Symposium Philosophy of Information)
VideoPresentation
LISP 1.5 Programmer's Manual
TextBooks
LISP Programmers Manual, Handwritten Draft
PDFPaper
LISP-notes on its past and future
PDFPaper
Lessons from the Lighthill Flap
PDFPaper
Lisp, Ruby and the Computer Industry
VideoInterview
Lisp: a programming system for symbolic manipulations
PDFPaper
Making robots conscious of their mental states
PDFPaper
Mental situation calculus
PDFPaper
Method of collecting crude oil and crude oil collection header apparatus
PDFPaper
Minimal Inference: A Way of Jumping to Conclusions
PDFPaper
Modality for Robots-Responses to Halpern and Wansing
PDFPaper
Modality, si! Modal logic, no!
PDFPaper
Notes on formalizing context
VideoPaper
Notes on self-awareness
PDFPaper
On Efficient Ways of Evaluating Certain Recursive Functions
PDFPaper
On the Model Theory of Knowledge
PDFPaper
Open Mechanized Reasoning Systems
PDFPaper
Open architectures for formal reasoning and deductive technologies for software development
PDFPaper
Overcoming Unexpected Obstacles
PDFPaper
Parallel Lisp: Languages and Systems: US/Japan Workshop on Parallel Lisp, Sendai, Japan, June 5-8, 1989, Proceedings
PDFPaper
Parameterizing models of propositional calculus formulas
PDFPresentation
Partial formalizations and the lemmings game
PDFPaper
Phenomenal data mining
PDFPaper
Philosophical and scientific presuppositions of logical AI
PDFPaper
Problems and Projections in CS for the Next 49 Years
PDFPaper
Problems in the theory of computation
PDFPaper
Programs with common sense
PDFPaper
Properties of programs and partial function logic
PDFPaper
Qlisp
PDFPaper
Queue-based Multi-processing Lisp
PDFPaper
RISKS-FORUM digest contributions
PDFPaper
Recursive functions of symbolic expressions and their computation by machine, Part I
PDFPaper
Recursive programs as functions in a first order theory
PDFPaper
Reminiscences on the history of time sharing
PDFPaper
Representation of recursive programs in first order logic
PDFPaper
Review of The Emperor’s New Mind by Roger Penrose
PDFPaper
Review: Roger Penrose, The emperor's new mind
TextArticle
Revised report on the algorithmic language ALGOL 60
PDFPaper
Simple deterministic free will
PDFPaper
Situation calculus with concurrent events and narrative
PDFPaper
Situations, actions, and causal laws
PDFPaper
Some expert systems need common sense
PDFPresentation
Some philosophical problems from the standpoint of artificial intelligence
PDFPaper
Stanford Computer Science Video Journal: Artificial Intelligence Research Lectures
PDFPaper
THE LOGIC AND PHILOSOPHY OF ARTIFICIAL INTELLIGENCE
PDFPresentation
Technology As Experience
TextBooks
The Origins and Nature of Computation/Formalizing Commomn Sense Knowledge in Mathematical Logic
VideoPresentation
The Tower of Stanford: 10956
PDFPaper
The Wang algorithm for the propositional calculus programmed in LISP
PDFPaper
The Web-Early Visions, Present Reality, the Grander Future
PDFPaper
The automated biological laboratory
PDFPaper
A chapter in the book Biology and the Exploration of Mars.
The common business communication language
PDFPaper
The frame problem today
PDFPaper
The inversion of functions defined by Turing machines
PDFPaper
The linking segment subprogram language and linking loader
PDFPaper
The mutilated checkerboard in set theory
PDFPaper
The robot and the baby
PDFPaper
The well-designed child
PDFPaper
This 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
PDFPaper
Three Reviews of J. Weizenbaum's Computer Power and Human Reason.
PDFPresentation
Time-shared program testing
PDFPaper
Time-sharing computer systems
PDFPaper
Todd Moodys zombies
PDFPresentation
Useful counterfactuals
PDFPaper
Varieties of contexts
PDFPaper
We Need Better Standards for Artificial Intelligence Research: President's Message
PDFPaper
We need better standards for AI research
PDFPaper
What has AI in Common with Philosophy?
PDFPaper
XVI. ARTIFICIAL INTELLIGENCE
PDFPaper

John McCarthy

A Model for Materials Databases

A New Eval Function

A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence

A computer with hands, eyes, and ears

A grounding framework

A micro-manual for LISP-not the whole truth

A proof-checker for predicate calculus

A tough nut for proof procedures

AI and Philosophy: How Can You Know the Dancer from the Dance?

AI's greatest trends and controversies

Actions and other events in situation calculus

Addendum: Circumscription and other non-monotonic formalisms

An architecture of diversity for commonsense reasoning

An example for natural language understanding and the AI problems it raises

Applications of circumscription to formalizing common-sense knowledge

Approximate objects and approximate theories

Artificial Intelligence - Thinking Allowed

Artificial Intelligence Needs More Emphasis on Basic Research: President's Quarterly Message

Ascribing mental qualities to machines

Automata studies

Awareness and Understanding in Computer Programs

CHALLENGES TO MACHINE LEARNING: Relations between reality and appearance

CODE OF ETHICS RECONSIDERED

CRITERIA FOR USEFULNESS OF COMPUTERS IN OFFICES

Chess as the drosophila of AI

Circumscription—a form of non-monotonic reasoning

Coloring maps and the Kowalski doctrine

Combination and Interoperation of Logical Systems Research in Formal Interoperability

Combining narratives

Combining planning contexts

Commentary on McDermott

Comments on time sharing

Computer Chronicles - Artificial Intelligence

Computer Controlled Cars

Computer power and human reason: from judgment to calculation

Correctness of a compiler for arithmetic expressions

Creative solutions to problems

Defending Al Research: A Collection of Essays and Reviews (Lecture Notes Series)

Definition of new data types in ALGOL x

Dialnet

Did Something Go Wrong?

ENRAC Debates

Elaboration tolerance

Epistemological problems of artificial intelligence

Extending mechanics to minds: The mechanical foundations of psychology and economics

Final report: Basic Research in Artificial Intelligence and Foundations of Programming

First order theories of individual concepts and propositions

Formalization of STRIPS in situation calculus

Formalization of two puzzles involving knowledge

Formalizing context (expanded notes)

Free will-even for robots

From here to human-level AI

Generality in artificial intelligence

Guy Steele Interviews John McCarthy, Father of Lisp

HUMAN-LEVEL AI: THE LOGICAL ROAD

Historical remarks on nonmonotonic reasoning, especially circumscription

History of LISP

History of circumscription

Hubert Dreyfus, What computers still can't do

In Honor of Marvin Minsky's Contributions on his 80th Birthday

In Memoriam: Arthur Samuel: Pioneer in Machine Learning

It’s Past Time for Practical Computer Checked Proofs of Program Correctness

JMC2009-Awards. John McCarthy remarks

John McCarthy, on Philosophy of AI (Mini Symposium Philosophy of Information)

LISP 1.5 Programmer's Manual

LISP Programmers Manual, Handwritten Draft

LISP-notes on its past and future

Lessons from the Lighthill Flap

Lisp, Ruby and the Computer Industry

Lisp: a programming system for symbolic manipulations

Making robots conscious of their mental states

Mental situation calculus

Method of collecting crude oil and crude oil collection header apparatus

Minimal Inference: A Way of Jumping to Conclusions

Modality for Robots-Responses to Halpern and Wansing

Modality, si! Modal logic, no!

Notes on formalizing context

Notes on self-awareness

On Efficient Ways of Evaluating Certain Recursive Functions