Artificial intelligence and mathematical theory of computation : papers in honor of John McCarthy /

Artificial and Mathematical Theory of Computation.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: McCarthy, John, 1927-2011, Lifschitz, Vladimir
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Boston : Academic Press, �1991.
Temas:
McCarthy, John, > 1927-2011.
McCarthy, John, > 1927-2011
McCarthy, John A. (Philologe)
Artificial intelligence.
Numerical calculations.
Computers.
Computer programming.
Artificial Intelligence
Computers
Intelligence artificielle.
Calculs num�eriques.
Ordinateurs.
Programmation (Informatique)
artificial intelligence.
computers.
computer programming.
Artificial intelligence
Computer programming
Numerical calculations
K�unstliche Intelligenz
Computeralgebra
Programmierung
Ordinateurs > Programmation.
Festschriften
Festschriften.
Acceso en línea:Texto completo
Tabla de Contenidos:
  • 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.

Ejemplares similares