Deakstadieđáhus: Interactive theory revision : an inductive logic programming approach / Luc de Raedt.