Generalizing Refinement Operators to Learn Prenex Conjunctive Normal Forms.

Shan-Hwei Nienhuys-Cheng, Wim Van Laer, Jan Ramon, Luc De Raedt

Browse the full ILP paper archive.