Pieris, Andreas

12 publications

AAAI 2024 Computing the Why-Provenance for Datalog Queries via SAT Solvers Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider

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

IJCAI 2018 First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries Pablo Barceló, Gerald Berger, Carsten Lutz, Andreas Pieris

IJCAI 2017 Making Cross Products and Guarded Ontology Languages Compatible Pierre Bourhis, Michael Morak, Andreas Pieris

IJCAI 2017 Swift Logic for Big Data and Knowledge Graphs Luigi Bellomarini, Georg Gottlob, Andreas Pieris, Emanuel Sallinger

IJCAI 2016 Ontology-Mediated Queries Distributing over Components Gerald Berger, Andreas Pieris

IJCAI 2015 Beyond SPARQL Under OWL 2 QL Entailment Regime: Rules to the Rescue Georg Gottlob, Andreas Pieris

AAAI 2015 From Classical to Consistent Query Answering Under Existential Rules Thomas Lukasiewicz, Maria Vanina Martinez, Andreas Pieris, Gerardo I. Simari

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

IJCAI 2013 The Impact of Disjunction on Query Answering Under Guarded-Based Existential Rules Pierre Bourhis, Michael Morak, Andreas Pieris

AAAI 2011 New Expressive Languages for Ontological Query Answering Andrea Calì, Georg Gottlob, Andreas Pieris

AAAI 2010 Ontological Reasoning with F-Logic Lite and Its Extensions Andrea Calì, Georg Gottlob, Michael Kifer, Thomas Lukasiewicz, Andreas Pieris