Logic for Learning

This book is concerned with the rich and fruitful interplay between the fields of computational logic and machine learning. For those in computational logic, no previous knowledge of machine learning is assumed and, for those in machine learning, no previous knowledge of computational logic is assumed.