This book is an introduction to inductive logic programming (ILP), a research field at the intersection of machine learning and logic programming, which aims at a formal framework as well as practical algorithms for inductively learning relational descriptions in the form of logic programs. The book extensively covers empirical inductive logic programming, one of the […]

The present volume continues the theory of series begun in Volume II, and then proceeds to the theory of measurement. Geometry we have found it necessary to reserve for a separate final volume, In the theory of well-ordered series and compact series, we have followed Cantor closely, except in dealing with Zermelo’s theorem (#257 — […]

Principia Mathematica was first published in 19 1 0—13 ; this is the fifth impression of the second edition of 192^-7. The Principia has long been recognized as one of the intellectual landmarks of the century. It was the first book to show clearly the close relationship between mathematics and formal logic. Starting from a […]