1 paper
Andrei Draghici, Georg Gottlob, Matthias Lanzinger
We investigate the computational complexity of mining guarded clauses from clausal datasets through the framework of inductive logic programming (ILP). We show that learning guarde…