RUTH: an ILP Theory Revision System.

Hilde Ad, Bart Malfait, Luc De Raedt

Browse the full ISMIS paper archive.