An application of ILP in a musical database : Learning to compose the two-voice counterpoint
Uroš Pompe · 1996
this paper the results are omitted), and on two real world benchmark problems: the finite element mesh design and the king-rook-king chess endgame. Like FOIL, SFOIL uses the extensional representation of the background knowledge and the target predicate. At the outer level it is the covering algorithm. The main loop is therefore very similar to that of FOIL: 1. while there are any uncovered positive examples do