John McCarthy

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

John McCarthy

A computer with hands, eyes, and ears

A grounding framework

A micro-manual for LISP-not the whole truth

A Model for Materials Databases

A New Eval Function

A proof-checker for predicate calculus

A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence

A tough nut for proof procedures

Actions and other events in situation calculus

Addendum: Circumscription and other non-monotonic formalisms

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

AI's greatest trends and controversies

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

Chess as the drosophila of AI

Circumscription—a form of non-monotonic reasoning

CODE OF ETHICS RECONSIDERED

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

CRITERIA FOR USEFULNESS OF COMPUTERS IN OFFICES

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?

Elaboration tolerance

ENRAC Debates

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

Historical remarks on nonmonotonic reasoning, especially circumscription

History of circumscription

History of LISP

Hubert Dreyfus, What computers still can't do

HUMAN-LEVEL AI: THE LOGICAL ROAD

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)

Lessons from the Lighthill Flap

LISP 1.5 Programmer's Manual

LISP Programmers Manual, Handwritten Draft

Lisp, Ruby and the Computer Industry

LISP-notes on its past and future

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