3 papers
cs.AI2025
On the Complexity of Global Necessary Reasons to Explain Classification
Marco Calautti, Enrico Malizia, Cristian Molinaro
Explainable AI has garnered considerable attention in recent years, as understanding the reasons behind decisions or predictions made by AI systems is crucial for their successful…
cs.DB2022
Non-Uniformly Terminating Chase: Size and Complexity
Marco Calautti, Georg Gottlob, Andreas Pieris
The chase procedure, originally introduced for checking implication of database constraints, and later on used for computing data exchange solutions, has recently become a central…
cs.DB2022
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 and consistent answers, which opens up the possibility of effici…