John McCarthy: Programmer Profile

Artificial Intelligence - Thinking Allowed

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

John McCarthy on Artificial Intelligence and Lisp - 1984

JMC2009-Awards. John McCarthy remarks

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

Computer Chronicles - Artificial Intelligence

Guy Steele Interviews John McCarthy, Father of Lisp

Lisp, Ruby and the Computer Industry

Technology As Experience

LISP 1.5 Programmer's Manual

Review: Roger Penrose, The emperor's new mind

Some philosophical problems from the standpoint of artificial intelligence

Computer power and human reason: from judgment to calculation

Circumscription—a form of non-monotonic reasoning

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

Applications of circumscription to formalizing common-sense knowledge

Revised report on the algorithmic language ALGOL 60

Programs with common sense

Notes on formalizing context

Situations, actions, and causal laws

Epistemological problems of artificial intelligence

Generality in artificial intelligence

Ascribing mental qualities to machines

A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence

Formalizing context (expanded notes)

Correctness of a compiler for arithmetic expressions

History of LISP

First order theories of individual concepts and propositions

[image shadow="1" link="http://www.dtic.mil/cgi-bin/GetTRDoc?AD=ADA071422" url="http://pftv.wpengine.com/wp-content/uploads/2016/12/lisp-3.png"]

Making robots conscious of their mental states

Queue-based Multi-processing Lisp

Elaboration tolerance

The inversion of functions defined by Turing machines

Some expert systems need common sense

On the Model Theory of Knowledge

Formalization of two puzzles involving knowledge

The well-designed child

Some philosophical problems from the standpoint of artificial intelligence

Properties of programs and partial function logic

A tough nut for proof procedures

From here to human-level AI

Varieties of contexts

Automata studies

AI's greatest trends and controversies

A computer with hands, eyes, and ears

Time-sharing computer systems

Actions and other events in situation calculus

Modality, si! Modal logic, no!

Phenomenal data mining

Useful counterfactuals

An architecture of diversity for commonsense reasoning

Reminiscences on the history of time sharing

Qlisp

What has AI in Common with Philosophy?

Chess as the drosophila of AI

The common business communication language

Combining narratives

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

Recursive programs as functions in a first order theory

The linking segment subprogram language and linking loader

Approximate objects and approximate theories

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

Problems in the theory of computation

Overcoming Unexpected Obstacles

Free will-even for robots

History of circumscription

Problems and Projections in CS for the Next 49 Years

The mutilated checkerboard in set theory

Addendum: Circumscription and other non-monotonic formalisms

LISP-notes on its past and future

Representation of recursive programs in first order logic

The robot and the baby

Creative solutions to problems

Partial formalizations and the lemmings game

Awareness and Understanding in Computer Programs

Review of The Emperor’s New Mind by Roger Penrose

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

Mental situation calculus

Coloring maps and the Kowalski doctrine

Combining planning contexts

A micro-manual for LISP-not the whole truth

Notes on self-awareness

Philosophical and scientific presuppositions of logical AI

In Memoriam: Arthur Samuel: Pioneer in Machine Learning

Formalization of STRIPS in situation calculus

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

Definition of new data types in ALGOL x

Lisp: a programming system for symbolic manipulations

A grounding framework

Hubert Dreyfus, What computers still can't do

Commentary on McDermott

Todd Moodys zombies

A New Eval Function

LISP Programmers Manual, Handwritten Draft

Situation calculus with concurrent events and narrative

The frame problem today

The automated biological laboratory

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

Time-shared program testing

A proof-checker for predicate calculus

Method of collecting crude oil and crude oil collection header apparatus

Lessons from the Lighthill Flap

On Efficient Ways of Evaluating Certain Recursive Functions

Simple deterministic free will

The Tower of Stanford: 10956

Parameterizing models of propositional calculus formulas

Modality for Robots-Responses to Halpern and Wansing

RISKS-FORUM digest contributions

We need better standards for AI research

Computer Controlled Cars

The Wang algorithm for the propositional calculus programmed in LISP

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

CHALLENGES TO MACHINE LEARNING: Relations between reality and appearance

Historical remarks on nonmonotonic reasoning, especially circumscription

A Model for Materials Databases

CODE OF ETHICS RECONSIDERED

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

CRITERIA FOR USEFULNESS OF COMPUTERS IN OFFICES

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

Comments on time sharing

Dialnet

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

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

Combination and Interoperation of Logical Systems Research in Formal Interoperability

Open architectures for formal reasoning and deductive technologies for software development

Open Mechanized Reasoning Systems

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

Stanford Computer Science Video Journal: Artificial Intelligence Research Lectures

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

Minimal Inference: A Way of Jumping to Conclusions

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

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

Did Something Go Wrong?

HUMAN-LEVEL AI: THE LOGICAL ROAD

ENRAC Debates

THE LOGIC AND PHILOSOPHY OF ARTIFICIAL INTELLIGENCE