Nienhuys-Cheng, Nienhuys-Cheng, S-H.; van Laer, W.; … - Erasmus Research Institute of Management (ERIM), … - 2000
conjunctive normal forms (PCNF) with existential variables should also be considered. ILP mostly uses learning with refinement … operators. To extend refinement operators to PCNF, we should first do so with substitutions. However, applying a classic … we define substitutions that specialize a given PCNF and a weakly complete downward refinement operator. Moreover, we …