Formal Techniques in Artificial Intelligence: A Sourcebook (Studies in Computer Science and Artificial Intelligence)

Contrary to general opinion, Artificial Intelligence research has often been carried out from a mathematical point of view, and frequently incorporates techniques of theoretical computer science. This book surveys various areas of Artificial Intelligence research, describing formal techniques. The areas chosen are most of those which have been – or can be – discussed with mathematical precision and clarity. The authors are all active researchers (in some cases international authorities) in their respective areas.

The volume is much more than a collection of `annotated bibliographies'. The papers survey the basic techniques of each field, giving information that will facilitate further reading.

The areas covered are: equations and identities in algebras, mechanical theorem proving, logical induction, intelligent data bases, qualitative reasoning, program verification and synthesis, automatic heuristic development and neural networks.

J. Weckert
There are two potential audiences for this book. It could be used as a text for an advanced course in artificial intelligence, probably at graduate level - the articles are too dense for the typical undergraduate. It will also be a useful starting point for researchers who want or need to become competent in another, related field. Formal Techniques for Artifical Intelligence should be in any academic library, and anywhere where artifical intelligence research is undertaken. It is a valuable source of information on a considerable number of topics, and at a level which is useful and not only interesting. It is a book for the shelves of lecturers involved in artificial teaching.
Australian Library Review
H.-J. Golz
The editor has organized an excellent volume that should have much appeal for those interested in the theoretical foundations of artifical intelligence. The reader is placed in a context where he or she can well understand the literature of related subjects. The book is suitable as a text book for students as well as a reference book for researchers of artificial intelligence.
Journal of New Generation Computer Systems
The book appears to be a very valuable contribution. It can constitute a storehouse of well elaborated information, beginning from the very basic and ending with more complex one. The choice of topics is very appropriate; these are very current and significant problems of artifical intelligence. Also, the idea of charging different persons with the task of writing different parts, seems to be a good one. It certainly contributed to improving the quality of the book's contents.
Artifical Intelligence Review
I can recommend the book to all those interested in actual present-day theoretical branches of research in AI...
Computers and Artificial Intelligence