There are html, dvi, postscript, and pdf versions.
AI and Philosophy talk at Association for Symbolic Logic meeting.There are html, dvi, postscript, and pdf versions of these slides.
Appearance and Reality - Challenges for machine learningThere are html, dvi, postscript, and pdf versions of these slides.
Approximate concepts in common sense reasoningThere are html, dvi, postscript, and pdf versions of these slides.
Logic and Human Level AIThere are html, dvi, postscript, and pdf versions of these slides.
Formalizing situation calculus with result and occurrence axioms.There are html, dvi, postscript, and pdf versions of these slides.
The mutilated checkerboard formalized in set theory.There are html, dvi, postscript, and pdf versions of these slides.
Extensions to logic for common sense.There are html, dvi, postscript, and pdf versions of these slides.
Ideas for electronic commerce - 1975.There are html, dvi, postscript, and pdf versions of these slides.
Roads to Human Level AIThere are html, dvi, postscript, and pdf versions of these slides.
Concepts as Objects.There are html, dvi, postscript, and pdf versions of these slides.
Concepts of Logical AI. These slides are based on the article "A first order theory of individual concepts and propositions", available as A first order theory of individual concepts and propositionsThere are html, dvi, postscript, and pdf versions of these slides.
Making Robots Conscious of their Mental States, available as Making Robots Conscious of their Mental States
There are html, dvi, postscript, and pdf versions of these slides.
Counterfactuals.
There are html, dvi, postscript, and pdf versions of these slides.
A Logical Road to Human Level AI .
There are html, dvi, postscript, and pdf versions of these slides.
Elaboration Tolerance
There are html, dvi, postscript, and pdf versions of these slides.
Emotion and Robots
There are html, dvi, postscript, and pdf versions of these slides.
Some Fundamentals and Computer Science
There are html, dvi, postscript, and pdf versions of these slides.
From Here to Human Level AI
There are html, dvi, postscript, and pdf versions of these slides.
Common Sense Knowledge in Logical Languages
There are html, dvi, postscript, and pdf versions of these slides.
LISP History and Programming Language Ideas
There are html, dvi, postscript, and pdf versions of these slides.
Beyond LISP
There are html, dvi, postscript, and pdf versions of these slides.
Mathematical Logic in AI
There are html, dvi, postscript, and pdf versions of these slides.
Non-Monotonic Logic - History and Remarks
There are html, dvi, postscript, and pdf versions of these slides.
Phenomenal Data Mining - From Observations to Phenomena
There are html, dvi, postscript, and pdf versions of these slides.
Self Awareness in Humans and Machines
There are html, dvi, postscript, and pdf versions of these slides.
Robot Servants
There are html, dvi, postscript, and pdf versions of these slides.
Situation Calculus With Actions and Other Events
There are html, dvi, postscript, and pdf versions of these slides.
Evidence for Sustainability of Material Progress
There are html, dvi, postscript, and pdf versions of these slides.
The Web - Early Visions, Present Reality, Grander Future
There are html, dvi, postscript, and pdf versions of these slides.
Human Level AI is Harder than It Seemed in 1955
There are html, dvi, postscript, and pdf versions of these slides.
Up to: My (John McCarthy's) main page Send comments to . I sometimes make changes suggested in them. - John McCarthy