A short sketch of the life and career of John McCarthy / D.J. Israel -- Functional instantiation in first-order logic / R.S. Boyer [and others] -- Lambda : the ultimate combinator / R. Cartwright -- Proofs of termination and the "91" function / S. Feferman -- Robots with common sense? / J.A. Feldman -- Ascribing artificial intelligence to (simpler) machines, or when AI meets the real world / R.E. Filman -- The design of parallel programming languages / R.P. Gabriel -- Metaprogramming at work in automated manufacturing / C. Goad -- LISP + calculus = identities / R.W. Gosper -- Model checking vs. theorem proving : a manifesto / J.Y. Halpern and M.Y. Vardi -- Algebraic computation : the quiet revolution / A.C. Hearn -- LISP and parallelism / T. Ito -- Textbook examples of recursion / D.E. Knuth -- A metalogic programming approach to multi-agent knowledge and belief / R. Kowalski and J.S. Kim.

Belief and introspection / H.J. Levesque -- Monotonicity properties in automated deduction / Z. Manna, M. Stickel, and R. Waldinger -- Circumscription and disjunctive logic programming / J. Minker, J. Lobo, and A. Rajasekar -- On the equivalence of data representations / J.C. Mitchell -- Caution! : robot vehicle! / H.P. Moravec -- Circumscription and authority / P.K. Rathmann and G. Wiederhold -- The frame problem in the situation calculus : a simple solution (sometimes) and a completeness result for goal regression / R. Reiter -- An abstraction mechanism for symbolic expressions / M. Sato -- Varieties of context / Y. Shoham -- The influence of the designer on the design : J. McCarthy and LISP / H. Stoyan -- Binding structures / C. Talcott -- Logicism, AI, and common sense : John McCarthy's program in philosophical perspective / R.H. Thomason -- The incorrectness of the bisection algorithm / R. Weyhrauch.