Includes supplementary material: sn.pub/extras
James Cussens
Algorithmic Learning Inductive Learning Inductive Logic Programming Inference Logic Programming Machine Learning Rule Induction data mining knowledge knowledge discovery learning logic programming