Using the Bottom Clause and Mode Declarations on FOL Theory Revision from Examples.

Ana Lusa Duboc, Aline Paes, Gerson Zaverucha

Browse the full ILP paper archive.