No Rule is Forever: Datalog Reasoning with Rule Amendments.

Weiqin Xu, Riccardo Tommasini, Olivier Cur

Browse the full ICDE paper archive.