Generative Datalog with Stable Negation.

Mario Alviano, Matthias Lanzinger, Michael Morak, Andreas Pieris

Browse the full PODS paper archive.