Why(-Not)-Provenance for Datalog with Negation.

Bart Bogaerts, Marco Calautti, Andreas Pieris, Samuele Pollaci, Robbe Van den Eede

Browse the full KR paper archive.