Hypothesis-Founded Semantics for Datalog Programs with Negation.

Yann Loyer, Nicolas Spyratos

Browse the full MFCS paper archive.