I am a huge fan of John McCarthy and his work. So this repository contains the papers that I have found on the internet. This is not a complete list. This repositiory, for now, contains papers and slides related to AI and LISP. Papers are taken from stanford website and others.
- The advice taker revisited - Slides
- Artificial Intelligence, Logic and Commonsense
- The AI of Philosophy - Slides
- What has AI in Common with Philosophy
- Challenges to Machine Learning - Slides
- Application to Circumscription to Formalizing Common Sense Knowledge
- Approximate Concepts and Approximate Theories - Slides
- Ascribing Mental Qualities to Machines
- What Artificial Intelligence need from Symbolic Logic - Slides
- A basis for Mathematical Theory of Computation
- Beyond LISP - Slides
- Improved Sequential Situation Calculus - Slides
- The mutilated Checkerboard in Set Theory - Slides
- The mutilated Checkerboard in Set Theory
- Circumscription - A Form of Nonmonotonic Reasoning
- Human type Common Sense Extensions to Logic - Slides
- Ideas on Electronic Commerce - Slides
- Roads to Human Level AI? - Slides
- Concets of Logical AI
- Concepts as Objects - Slides
- First Order Theories of Individial Concepts and Propositions
- What Consciousness does a Robot Need? - Slides
- Notes on Formalizing Context
- Uses of CounterFactuals - Slides
- Creative Solutions to the Problems - Slides
- Elephant 2000: A Programming Language based on Speech Acts
- Robots can be made with Human-like emotions - but shouldn't be - Slides
- Epistemological Problems of Artifical Intelligence
- Free Will - even for Robots
- Generality in Artificial Intelligence
- The Logical Road to Human level AI - Slides
- The Inversion of Functions Defines by Turing Machine
- Some LISP History and some Programming Langauge Ideas - Slides
- LISP - Notes on its Past and Future - 1980
- The Little Thoughts of Thinking Machine
- Formal Reasoning Group - Slides
- Programs with Common Sense
- Some Philosophical Problems from the Standpoint of Artificial Intelligence
- Correctness of Compilers for Arithmetic Expressions
- Nonmonotonic Reasoning - History and Remarks - Slides
- Phenomenal Data Mining: From Observation to Phenomena - Slides
- Recursive Functions of Symbolic Expressions and Their Computation by Machines, Part 1
- What will Self Aware Computer Systems Become - Slides
- Robot Servants - Slides
- Situation Calculus with Actions and Other Events - Slides
- Towards a Mathematical Science of Computation
- The Web - Early Vision, Present Reality and Grander Future - Slides
- Human Level AI is Harder Than it Seems - Slides
- Making Robots Conscious of Their Metal State