Calautti, Marco
Calautti, Marco
22nd International Conference on Database Theory, ICDT 2019
2019-01-01 Calautti, Marco; Barcelò, Pablo
An Operational Approach to Consistent Query Answering
2018-01-01 Calautti, Marco; Libkin, Leonid; Pieris, Andreas
An Operational Approach to Consistent Query Answering
2018-01-01 Calautti, Marco; Libkin, Leonid; Pieris, Andreas
Benchmarking approximate consistent query answering
2021-01-01 Calautti, M.; Console, M.; Pieris, A.
Chase Termination for Guarded Existential Rules
2015-01-01 Calautti, Marco; Gottlob, Georg; Pieris, Andreas
Chase Termination for Guarded Existential Rules
2015-01-01 Calautti, Marco; Gottlob, Georg; Pieris, Andreas
Checking termination of bottom-up evaluation of logic programs with function symbols
2015-01-01 Calautti, Marco; Greco, Sergio; Spezzano, Francesca; Trubitsyna, Irina
Checking Termination of Datalog with Function Symbols Through Linear Constraints
2015-01-01 Calautti, Marco; Greco, Sergio; Molinaro, Cristian; Trubitsyna, Irina
Checking Termination of Logic Programs with Function Symbols through Linear Constraints
2014-01-01 Calautti, Marco; Greco, Sergio; Molinaro, Cristian; Trubitsyna, Irina
Consistent query answering with prioritized active integrity constraints
2020-01-01 Calautti, M.; Caroprese, L.; Greco, S.; Molinaro, C.; Trubitsyna, I.; Zumpano, E.
Counting Database Repairs under Primary Keys Revisited
2019-01-01 Calautti, Marco; Console, Marco; Pieris, Andreas
Counting Database Repairs under Primary Keys Revisited
2019-01-01 Calautti, Marco; Console, Marco; Pieris, Andreas
Dealing with Inconsistency in Databases: An Overview
2018-01-01 Calautti, Marco; Caroprese, Luciano; Fazzinga, Bettina; Flesca, Sergio; Furfaro, Filippo; Greco, Sergio; Molinaro, Cristian; Parisi, Francesco; Pugliese, Andrea; Saccà, Domenico; Trubitsyna, Irina; Zumpano, Ester
Detecting Decidable Classes of Finitely Ground Logic Programs with Function Symbols
2017-01-01 Calautti, Marco; Greco, Sergio; Trubitsyna, Irina
Detecting decidable classes of finitely ground logic programs with function symbols
2013-01-01 Calautti, Marco; Greco, Sergio; Trubitsyna, Irina
Enhancing Ontological Query-Rewriting via Parallelization
2023-01-01 M. Wagih, Heba; Calautti, Marco
Existential active integrity constraints
2021-01-01 Calautti, M.; Caroprese, L.; Greco, S.; Molinaro, C.; Trubitsyna, I.; Zumpano, E.
Explainable acceptance in probabilistic abstract argumentation: Complexity and approximation
2020-01-01 Alfano, G.; Calautti, M.; Greco, S.; Parisi, F.; Trubitsyna, I.
Exploiting Equality Generating Dependencies in Checking Chase Termination
2016-01-01 Calautti, Marco; Greco, Sergio; Molinaro, Cristian; Trubitsyna, Irina
Leveraging Equality Generating Dependencies for Chase Termination
2016-01-01 Calautti, Marco; Greco, Sergio; Molinaro, Cristian; Trubitsyna, Irina