John McCarthy
Programmer Media

Artificial Intelligence - Thinking Allowed

Video · Presentation

The Origins and Nature of Computation/Formalizing Commomn Sense Knowledge in Mathematical Logic

Video · Presentation

JMC2009-Awards. John McCarthy remarks

Video · Presentation

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

Video · Presentation

Computer Chronicles - Artificial Intelligence

Video · Interview

Guy Steele Interviews John McCarthy, Father of Lisp

Video · Interview

Lisp, Ruby and the Computer Industry

Video · Interview

Technology As Experience

Text · Books

LISP 1.5 Programmer's Manual

Text · Books

Review: Roger Penrose, The emperor's new mind

Text · Article

Some philosophical problems from the standpoint of artificial intelligence

PDF · Paper

Computer power and human reason: from judgment to calculation

PDF · Paper

Circumscription—a form of non-monotonic reasoning

PDF · Paper

Recursive functions of symbolic expressions and their computation by machine, Part I

PDF · Paper

Applications of circumscription to formalizing common-sense knowledge

PDF · Paper

Revised report on the algorithmic language ALGOL 60

PDF · Paper

Programs with common sense

PDF · Paper

Notes on formalizing context

Video · Paper

Situations, actions, and causal laws

PDF · Paper

Epistemological problems of artificial intelligence

PDF · Paper

Generality in artificial intelligence

PDF · Paper

Ascribing mental qualities to machines

PDF · Paper

A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence

PDF · Paper

Formalizing context (expanded notes)

PDF · Paper

Correctness of a compiler for arithmetic expressions

PDF · Paper

History of LISP

PDF · Paper

First order theories of individual concepts and propositions

https://purelyfunctional.tv/wp-content/uploads/2016/12/lisp-3.png

PDF · Paper

Making robots conscious of their mental states

PDF · Paper

Queue-based Multi-processing Lisp

PDF · Paper

Elaboration tolerance

PDF · Paper

The inversion of functions defined by Turing machines

PDF · Paper

Some expert systems need common sense

PDF · Presentation

On the Model Theory of Knowledge

PDF · Paper

Formalization of two puzzles involving knowledge

PDF · Paper

The well-designed child

PDF · Paper

Properties of programs and partial function logic

PDF · Paper

A tough nut for proof procedures

PDF · Paper

From here to human-level AI

PDF · Paper

Varieties of contexts

PDF · Paper

Automata studies

PDF · Paper

AI's greatest trends and controversies

PDF · Paper

A computer with hands, eyes, and ears

PDF · Paper

Time-sharing computer systems

PDF · Paper

Actions and other events in situation calculus

PDF · Paper

Modality, si! Modal logic, no!

PDF · Paper

Phenomenal data mining

PDF · Paper

Useful counterfactuals

PDF · Paper

An architecture of diversity for commonsense reasoning

PDF · Paper

Reminiscences on the history of time sharing

PDF · Paper

Qlisp

PDF · Paper

What has AI in Common with Philosophy?

PDF · Paper

Chess as the drosophila of AI

PDF · Paper

The common business communication language

PDF · Paper

Combining narratives

PDF · Paper

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

PDF · Paper

Recursive programs as functions in a first order theory

PDF · Paper

The linking segment subprogram language and linking loader

PDF · Paper

Approximate objects and approximate theories

PDF · Paper

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

PDF · Paper

Problems in the theory of computation

PDF · Paper

Overcoming Unexpected Obstacles

PDF · Paper

Free will-even for robots

PDF · Paper

History of circumscription

PDF · Paper

Problems and Projections in CS for the Next 49 Years

PDF · Paper

The mutilated checkerboard in set theory

PDF · Paper

Addendum: Circumscription and other non-monotonic formalisms

PDF · Paper

LISP-notes on its past and future

PDF · Paper

Representation of recursive programs in first order logic

PDF · Paper

The robot and the baby

PDF · Paper

Creative solutions to problems

PDF · Paper

Partial formalizations and the lemmings game

PDF · Paper

Awareness and Understanding in Computer Programs

PDF · Paper

Review of The Emperor’s New Mind by Roger Penrose

PDF · Paper

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

PDF · Paper

Mental situation calculus

PDF · Paper

Coloring maps and the Kowalski doctrine

PDF · Paper

Combining planning contexts

PDF · Paper

A micro-manual for LISP-not the whole truth

PDF · Paper

Notes on self-awareness

PDF · Paper

Philosophical and scientific presuppositions of logical AI

PDF · Paper

In Memoriam: Arthur Samuel: Pioneer in Machine Learning

PDF · Paper

Formalization of STRIPS in situation calculus

PDF · Paper

We Need Better Standards for Artificial Intelligence Research: President's Message

PDF · Paper

Definition of new data types in ALGOL x

PDF · Paper

Lisp: a programming system for symbolic manipulations

PDF · Paper

A grounding framework

PDF · Paper

Hubert Dreyfus, What computers still can't do

PDF · Paper

Commentary on McDermott

PDF · Paper

Todd Moodys zombies

PDF · Presentation

A New Eval Function

PDF · Paper

LISP Programmers Manual, Handwritten Draft

PDF · Paper

Situation calculus with concurrent events and narrative

PDF · Paper

The frame problem today

PDF · Paper

The automated biological laboratory

A chapter in the book Biology and the Exploration of Mars.

PDF · Paper

Time-shared program testing

PDF · Paper

A proof-checker for predicate calculus

PDF · Paper

Method of collecting crude oil and crude oil collection header apparatus

PDF · Paper

Lessons from the Lighthill Flap

PDF · Paper

On Efficient Ways of Evaluating Certain Recursive Functions

PDF · Paper

Simple deterministic free will

PDF · Paper

The Tower of Stanford: 10956

PDF · Paper

Parameterizing models of propositional calculus formulas

PDF · Presentation

Modality for Robots-Responses to Halpern and Wansing

PDF · Paper

RISKS-FORUM digest contributions

PDF · Paper

We need better standards for AI research

PDF · Paper

Computer Controlled Cars

PDF · Paper

The Wang algorithm for the propositional calculus programmed in LISP

PDF · Paper

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

PDF · Paper

CHALLENGES TO MACHINE LEARNING: Relations between reality and appearance

PDF · Paper

Historical remarks on nonmonotonic reasoning, especially circumscription

PDF · Paper

A Model for Materials Databases

PDF · Paper

CODE OF ETHICS RECONSIDERED

PDF · Paper

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

PDF · Paper

CRITERIA FOR USEFULNESS OF COMPUTERS IN OFFICES

PDF · Paper

Three Reviews of J. Weizenbaum's Computer Power and Human Reason.

PDF · Presentation

Comments on time sharing

PDF · Paper

Dialnet

PDF · Paper

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

PDF · Paper

The Web-Early Visions, Present Reality, the Grander Future

PDF · Paper

Combination and Interoperation of Logical Systems Research in Formal Interoperability

PDF · Paper

Open architectures for formal reasoning and deductive technologies for software development

PDF · Paper

Open Mechanized Reasoning Systems

PDF · Paper

Parallel Lisp: Languages and Systems: US/Japan Workshop on Parallel Lisp, Sendai, Japan, June 5-8, 1989, Proceedings

PDF · Paper

Stanford Computer Science Video Journal: Artificial Intelligence Research Lectures

PDF · Paper

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

PDF · Paper

Minimal Inference: A Way of Jumping to Conclusions

PDF · Paper

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 · Paper

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

PDF · Paper

Did Something Go Wrong?

PDF · Paper

HUMAN-LEVEL AI: THE LOGICAL ROAD

PDF · Paper

ENRAC Debates

PDF · Paper

THE LOGIC AND PHILOSOPHY OF ARTIFICIAL INTELLIGENCE

PDF · Presentation

XVI. ARTIFICIAL INTELLIGENCE

PDF · Paper