Artificial Intelligence and Mathematical Theory of Computation

Artificial Intelligence and Mathematical Theory of Computation : Papers in Honor of John McCarthy

List price: US$72.01

Currently unavailable

Add to wishlist

AbeBooks may have this title (opens in new window).

Try AbeBooks


A book intended for researchers in computer science, in particular, artificial intelligence, theoretical computing, and programming languages. This volume honours John Mccarthy for his fundamental contributions to the field of computer science. The papers, written by leading computer science researchers, range from historical overviews to technical reports on the key areas of computer science in which McCarthy has worked - LSP, programming languages, symbolic computation, mathematical theory of computation, and artificial intelligence.
show more

Product details

  • Hardback | 504 pages
  • 158.75 x 230 x 25.4mm | 822g
  • Academic Press Inc
  • San Diego, United States
  • English
  • index
  • 0124500102
  • 9780124500105

Table of contents

A short sketch of the life and career of John McCarthy, D. Israel; functional instantiation in first order logic, R. Boyer et al; lambada - the ultimate combinator, R. Cartwright; termination proofs and the "91" function, S. Feferman; robots with common sense?, J. Feldman; ascribing artificial intelligence to (simpler) machines, or when AI meets the world, R. Filman; the design of parallel programming languages, R. Gabriel; metaprogramming at work in automated manufacturing, C. Goad; LISP + calculus = identities, W. Gosper; model checking vs theorem proving - a manifesto, J. Halpern and M. Vardi; algebraic computation - the quiet revolution, A. Hearn; lisp and parallelism, T. Ito; an application of amalgamated logic to multi-agent belief, J. Kim and R. Kowalski; text-book examples of recursion, D. Knuth; belief and introspection, H. Levesque; monotonicity properties in automated deduction, Z. Manna, et al; circumscription and disjunctive logic programming, J. Minkler, et al; on the equivalence of data representations, J. Mitchell; caution! robot vehicle!, H. Moravec; circumscription and authority, P. Rathman and G. Wiederhold; the frame problem in the situation calculus - a simple solution to the frame problem (sometimes) and a completeness result for goal regression, R. Reiter; abstraction mechanism for symbolic expressions, M. Sato; varieties of context, Y. Shoham; the inventor and his object - the programming language LISP, H. Stoyan; binding structures - abstract syntax generalized to binding and binding contexts, C. Talcott; logicism in AI and common sense in philosophy - John McCarthy's programme in philosophical perspective, R. Thomason; the incorrectness of the bisection algorithm, R. Weyhrauch.
show more