14 citations · 18 across the 18 of their papers we have counts for
3 papers · 1 filter
Combined Approximations for Uniform Operational Consistent Query Answering
Marco Calautti, Ester Livshits, Andreas Pieris +1
Operational consistent query answering (CQA) is a recent framework for CQA based on revised definitions of repairs, which are built by applying a sequence of operations (e.g., fact…
Semi-Oblivious Chase Termination for Linear Existential Rules: An Experimental Study
Marco Calautti, Mostafa Milani, Andreas Pieris
The chase procedure is a fundamental algorithmic tool in databases that allows us to reason with constraints, such as existential rules, with a plethora of applications. It takes a…
The Complexity of Why-Provenance for Datalog Queries
Marco Calautti, Ester Livshits, Andreas Pieris +1
Explaining why a database query result is obtained is an essential task towards the goal of Explainable AI, especially nowadays where expressive database query languages such as Da…