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
232015
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
182016
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
132018
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
132013
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
122015
Logic program termination analysis using atom sizes
M Calautti, S Greco, C Molinaro, I Trubitsyna
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
82015
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
82014
Oblivious chase termination: The sticky case
M Calautti, A Pieris
22nd International Conference on Database Theory (ICDT 2019), 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
52017
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
42019
Using linear constraints for logic program termination analysis
M Calautti, S Greco, C Molinaro, I Trubitsyna
arXiv preprint arXiv:1512.04097, 2015
42015
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
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
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
LIPIcs, Volume 127, ICDT'19, Complete Volume
P Barcelo, M Calautti
22nd International Conference on Database Theory (ICDT 2019), 2019
2019
Front Matter, Table of Contents, Preface, Conference Organization
R Seidel
1st Symposium on Simplicity in Algorithms (SOSA 2018), 2018
2018
" Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier-DOI)
A Tjoa, A Anjomshoaa, G Bader
Information Systems and e-Business Management (Online First) 16 (2), 443-476, 2018
2018
On the decidability of logic programs and chase algorithms
M Calautti, F Crupi, S Greco
2016
Leveraging Equality Generating Dependencies for Chase Termination.
M Calautti, S Greco, C Molinaro, I Trubitsyna
SEBD, 94-101, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–20