Marco Calautti
Marco Calautti
University of Edinburgh
Email verificata su dimes.unical.it - Home page
Titolo
Citata da
Citata da
Anno
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
242015
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
192016
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
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
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
132015
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
Oblivious chase termination: The sticky case
M Calautti, A Pieris
22nd International Conference on Database Theory (ICDT 2019), 2019
72019
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
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
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
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
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20