CALAUTTI, Marco
CALAUTTI, Marco
Dipartimento di Informatica Giovanni Degli Antoni
22nd International Conference on Database Theory, ICDT 2019
2019 P. Barcelò, M. Calautti
Active Integrity Constraints with Existential Quantification
2022 M. Calautti, L. Caroprese, S. Greco, C. Molinaro, I. Trubitsyna, E. Zumpano
An Operational Approach to Consistent Query Answering
2018 M. Calautti, L. Libkin, A. Pieris
An Operational Approach to Consistent Query Answering
2018 M. Calautti, L. Libkin, A. Pieris
Benchmarking approximate consistent query answering
2021 M. Calautti, M. Console, A. Pieris
Chase Termination for Guarded Existential Rules
2015 M. Calautti, G. Gottlob, A. Pieris
Chase Termination for Guarded Existential Rules
2015 M. Calautti, G. Gottlob, A. Pieris
Checking Termination of Datalog with Function Symbols Through Linear Constraints
2015 M. Calautti, S. Greco, C. Molinaro, I. Trubitsyna
Checking Termination of Logic Programs with Function Symbols through Linear Constraints
2014 M. Calautti, S. Greco, C. Molinaro, I. Trubitsyna
Consistent query answering with prioritized active integrity constraints
2020 M. Calautti, L. Caroprese, S. Greco, C. Molinaro, I. Trubitsyna, E. Zumpano
Counting Database Repairs Entailing a Query: The Case of Functional Dependencies
2022 M. Calautti, E. Livshits, A. Pieris, M. Schneider
Counting Database Repairs Entailing a Query: The Case of Functional Dependencies
2022 M. Calautti, E. Livshits, A. Pieris, M. Schneider
Counting Database Repairs under Primary Keys Revisited
2019 M. Calautti, M. Console, A. Pieris
Counting Database Repairs under Primary Keys Revisited (Discussion paper)
2019 M. Calautti, M. Console, A. Pieris
Detecting decidable classes of finitely ground logic programs with function symbols
2013 M. Calautti, S. Greco, I. Trubitsyna
Explainable Acceptance in Probabilistic Abstract Argumentation: Complexity and Approximation
2020 G. Alfano, M. Calautti, S. Greco, F. Parisi, I. Trubitsyna
Logic Program Termination Analysis Using Atom Sizes
2015 M. Calautti, S. Greco, C. Molinaro, I. Trubitsyna
Non-Uniformly Terminating Chase: Size and Complexity
2022 M. Calautti, G. Gottlob, A. Pieris
Oblivious Chase Termination: The Sticky Case
2019 M. Calautti, A. Pieris
Preference-based Inconsistency-Tolerant Query Answering under Existential Rules
2020 M. Calautti, S. Greco, C. Molinaro, I. Trubitsyna