A Logic Framework for the Incremental Inductive Synthesis of Datalog Theories.

Giovanni Semeraro, Floriana Esposito, Donato Malerba, Nicola Fanizzi, Stefano Ferilli

Browse the full LOPSTR paper archive.