An Application-based Comparison of Automated Theory Formation and Inductive Logic Programming.

Simon Colton An Application-based Comparison of Automated Theory Formation and Inductive Logic Programming. 97-117 2000 4 Electron. Trans. Artif. Intell. B http://www.ep.liu.se/ej/etai/2000/012/ db/journals/etai/etai4.html#Colton00