The long-anticipated revision of this best-selling book offers the most comprehensive, up-to-date introduction to the theory and practice of artificial intelligence. Intelligent Agents. Solving Problems by Searching. Informed Search Methods. Game Playing. Agents that Reason Logically. First-order Logic. Building a Knowledge Base....

The Verbmobil System currently under development in Germany would input speech in a source language dialogue, translate it, and output synthesized speech in a target language, all in real time under the conditions of face-to-face dialogue....

Paradigms of AI Programming is the first text to teach advanced Common Lisp techniques in the context of building major AI systems....