Logic and Learning

This book is concerned with the rich and fruitful interplay between the fields of computational logic and machine learning. The logic used throughout the book i... » 

This book is concerned with the rich and fruitful interplay between the fields of computational logic and machine learning. The logic used throughout the book is a higher-order one, since higher-order functions can have other functions as arguments and this capability can be exploited to provide abstractions for knowledge representation, methods for constructing predicates, and a foundation for logic-based computation. «