Logic for Learning

This book explores the interplay between computational logic and machine learning, targeting senior undergraduates, graduate students, and researchers. It introduces higher-order logic, emphasizing its applications in knowledge representation and structured data learning, relevant for fields like web text learning and bioinformatics.