This book provides an approach to knowledge representation, computation, and learning using higher-order logic. It is aimed at researchers, graduate students, and senior undergraduates working in computational logic and/or machine learning.

The first book on learning and knowledge representation based on higher-order logic. Includes supplementary material: sn.pub/extras

Inhalt
Part I: Prologue.- Overview.- Introduction to Learning and Logic.- Part II: Logic.- Higher-order Logic.- Representation of Individuals.- Predicate Construction.- Programming with Equational Theories.- Part III: Learning.- The Problem of Learning.- Knowledge Representation for Learning.- Learning Systems.- Illustrations for Various Types.- Applications.- References.- Notation.- Index.