Books in the Handbook of Logic in Artificial Intelligence and Logic Programming series

Provides authoritative exposition, comprehensive survey, and fundamental research exploring the underlying unifying themes in the various areas of application of logic in artificial intelligence and computer science. The book assumes as background some mathematical sophistication.

Part of a multivolume work covering the application of logic to artificial intelligence and logic programming.

The Handbook of Logic in Artificial Intelligence and Logic Programming is a multi-volume work covering all major areas of application of logic to artificial intelligence and logic programming. The authors are chosen on an international basis and are leaders in the fields covered. Volume 5 is the last in the well-regarded series.

Part of a multivolume work covering the application of logic to artificial intelligence and logic programming.