Now somewhat dated (the second edition is identical to the first, 1977, edition, except for an additional preface and chapter) but still a good introduction to AI techniques and issues, including psychological and philosophical implications.
A thorough introduction to artificial intelligence techniques, aimed at people from a mathematics or computing background. It uses LISP for its programming examples.
Provides a good grounding in artificial intelligence techniques for students with a background in mathematics or computer science. Particularly good on problem solving and knowlege representation. It gives no programming examples, but uses logic and diagrammatic representations.
Knowledgeable, but somewhat quirky, textbook which refelects the author's own interests. Good coverage of search and constraint propagation. No programming examples; these are contained in a companion book:
The three handbooks provide the reference guide to artificial intelligence. They are authoritative and well organized. Volume I introduces the main AI techniques; Volume II covers programming and applications of AI in science, medicine, and education; Volume III includes bits and pieces left out of the other two volumes, such as vision, planning, learning, and models of cognition.