Inductive logic programming (ILP) and machine learning together represent a powerful synthesis of symbolic reasoning and statistical inference. ILP focuses on deriving interpretable logic rules from ...

As this is the fourth edition—though enlarged and partly re-written—of the work under notice, it is not necessary to review it in detail. It is sufficient to mention, by way of reminder, that for the ...