Multi-head Guarded Existential Rules Over Fixed Signatures.

Georg Gottlob, Marco Manna, Andreas Pieris

Browse the full KR paper archive.