Manna, Marco

4 publications

IJCAI 2018 Enhancing Existential Rules by Closed-World Variables Giovanni Amendola, Nicola Leone, Marco Manna, Pierfrancesco Veltri

IJCAI 2018 Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward Giovanni Amendola, Nicola Leone, Marco Manna

IJCAI 2018 Finite Model Reasoning in Hybrid Classes of Existential Rules Georg Gottlob, Marco Manna, Andreas Pieris

IJCAI 2015 Polynomial Rewritings for Linear Existential Rules Georg Gottlob, Marco Manna, Andreas Pieris