Finite Model Reasoning in Hybrid Classes of Existential Rules.

Georg Gottlob, Marco Manna, Andreas Pieris

Browse the full IJCAI paper archive.