Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logic Foundations

Description

The Handbook of Logic in Artificial Intelligence and Logic Programming will be published in five volumes and has been created in response to the growing need for an in-depth survey of the applications of logic in AI and computer science.Logic is now widely recognized as one of the foundational disciplines of computing and has found applications in virtually all aspects of the subject, from software engineering and hardware to programminglanguages and artificial intelligence.This first volume presents the logical foundations and deduction methodologies extensively used in AI. (Source: Google Books API)