Marco Calautti
Marco Calautti
University of Edinburgh
Verified email at dimes.unical.it - Homepage
Title
Cited by
Cited by
Year
Chase termination for guarded existential rules
M Calautti, G Gottlob, A Pieris
Proceedings of the 34th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2015
272015
Exploiting equality generating dependencies in checking chase termination
M Calautti, S Greco, C Molinaro, I Trubitsyna
Proceedings of the VLDB Endowment 9 (5), 396-407, 2016
212016
An operational approach to consistent query answering
M Calautti, L Libkin, A Pieris
Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2018
142018
Checking termination of bottom-up evaluation of logic programs with function symbols
M Calautti, S Greco, F Spezzano, I Trubitsyna
Theory and Practice of Logic Programming 15 (6), 854-889, 2015
142015
Detecting decidable classes of finitely ground logic programs with function symbols
M Calautti, S Greco, I Trubitsyna
Proceedings of the 15th Symposium on Principles and Practice of Declarative …, 2013
142013
Oblivious chase termination: The sticky case
M Calautti, A Pieris
22nd International Conference on Database Theory (ICDT 2019), 2019
102019
Logic program termination analysis using atom sizes
M Calautti, S Greco, C Molinaro, I Trubitsyna
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
92015
Checking termination of logic programs with function symbols through linear constraints
M Calautti, S Greco, C Molinaro, I Trubitsyna
International Symposium on Rules and Rule Markup Languages for the Semantic …, 2014
92014
Counting database repairs under primary keys revisited
M Calautti, M Console, A Pieris
Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2019
62019
Detecting decidable classes of finitely ground logic programs with function symbols
M Calautti, S Greco, I Trubitsyna
ACM Transactions on Computational Logic (TOCL) 18 (4), 1-42, 2017
62017
Using linear constraints for logic program termination analysis
M Calautti, S Greco, C Molinaro, I Trubitsyna
arXiv preprint arXiv:1512.04097, 2015
52015
Rewriting-based check of chase termination
M Calautti, S Greco, C Molinaro, I Trubitsyna
Proceedings of the 9th Alberto Mendelzon International Workshop on …, 2015
42015
Preference-based Inconsistency-Tolerant Query Answering under Existential Rules
M Calautti, S Greco, C Molinaro, I Trubitsyna
KR. to appear, 2020
12020
Dealing with inconsistency in databases: An overview
M Calautti, L Caroprese, B Fazzinga, S Flesca, F Furfaro, S Greco, ...
A Comprehensive Guide Through the Italian Database Research Over the Last 25 …, 2018
12018
Existential active integrity constraints
M Calautti, L Caroprese, S Greco, C Molinaro, I Trubitsyna, E Zumpano
Expert Systems with Applications, 114297, 2020
2020
Semi-Oblivious Chase Termination: The Sticky Case
M Calautti, A Pieris
Theory of Computing Systems, 1-38, 2020
2020
Consistent query answering with prioritized active integrity constraints
M Calautti, L Caroprese, S Greco, C Molinaro, I Trubitsyna, E Zumpano
Proceedings of the 24th Symposium on International Database Engineering …, 2020
2020
Explainable Acceptance in Probabilistic Abstract Argumentation: Complexity and Approximation
G Alfano, M Calautti, S Greco, F Parisi, I Trubitsyna
Proceedings of the International Conference on Principles of Knowledge …, 2020
2020
Front Matter, Table of Contents, Preface, Conference Organization
S Albers
17th Scandinavian Symposium and Workshops on Algorithm Theory (SWAT 2020), 2020
2020
Counting Database Repairs under Primary Keys Revisited⋆(DISCUSSION PAPER)
M Calautti, M Console, A Pieris
2019
The system can't perform the operation now. Try again later.
Articles 1–20