Abstract is missing.
- Preface [doi]
- A Short Sketch of the Life and Career of John McCarthyDavid J. Israel. 1-5 [doi]
- Functional Instantiation in First-Order LogicRobert S. Boyer, David M. Goldschlag, Matt Kaufmann, J. Strother Moore. 7-26 [doi]
- Lambda: the Ultimate CombinatorRobert Cartwright. 27-46 [doi]
- Proofs of Termination and the "91" FunctionSolomon Feferman. 47-63 [doi]
- Robots with Common Sense?Jerome A. Feldman. 65-72 [doi]
- Ascribing Artificial Intelligence to (Simpler) Machines, or When AI Meets the Real WorldRobert E. Filman. 73-89 [doi]
- The Design of Parallel Programming LanguagesRichard P. Gabriel. 91-108 [doi]
- Metaprogramming at Work in Automated ManufacturingChris Goad. 109-128 [doi]
- LISP + Calculus = IdentitiesR. Wm. Gosper. 129-149 [doi]
- Model Checking vs. Theorem Proving: A ManifestoJoseph Y. Halpern, Moshe Y. Vardi. 151-176 [doi]
- Algebraic Computation: The Quiet RevolutionAnthony C. Hearn. 177-186 [doi]
- LISP and ParallelismTakayasu Ito. 187-206 [doi]
- Textbook Examples of RecursionDonald E. Knuth. 207-229 [doi]
- A Metalogic Programming Approach to Multi-Agent Knowledge and BeliefRobert Kowalski, Jin-Sang Kim. 231-246 [doi]
- Belief and IntrospectionHector J. Levesque. 247-260 [doi]
- Monotonicity Properties in Automated DeductionZohar Manna, Mark E. Stickel, Richard Waldinger. 261-280 [doi]
- Circumscription and Disjunctive Logic ProgrammingJack Minker, Jorge Lobo 0001, Arcot Rajasekar. 281-304 [doi]
- On the Equivalence of Data RepresentationsJohn C. Mitchell. 305-329 [doi]
- Caution! Robot Vehicle!Hans P. Moravec. 331-343 [doi]
- Circumscription and AuthorityPeter K. Rathmann, Gio Wiederhold. 345-358 [doi]
- The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal RegressionRaymond Reiter. 359-380 [doi]
- An Abstraction Mechanism for Symbolic ExpressionsMasahiko Sato 0009. 381-391 [doi]
- Varieties of ContextYoav Shoham. 393-407 [doi]
- The Influence of the Designer on the Design - J. McCarthy and LISPHerbert Stoyan. 409-426 [doi]
- Binding StructuresCarolyn L. Talcott. 427-448 [doi]
- Logicism, AI, and Common Sense: John McCarthy's Program in Philosophical PerspectiveRichmond H. Thomason. 449-466 [doi]
- The Incorrectness of the Bisection AlgorithmRichard W. Weyhrauch. 467-468 [doi]