| 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 | 43 | 2015 |
| 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 | 35 | 2018 |
| Explainable acceptance in probabilistic abstract argumentation: Complexity and approximation G Alfano, M Calautti, S Greco, F Parisi, I Trubitsyna Proceedings of the 17th International Conference on Principles of Knowledge …, 2020 | 28 | 2020 |
| Exploiting equality generating dependencies in checking chase termination M Calautti, S Greco, C Molinaro, I Trubitsyna Proceedings of the VLDB Endowment (PVLDB) 9 (5), 396-407, 2016 | 25 | 2016 |
| Preference-based inconsistency-tolerant query answering under existential rules M Calautti, S Greco, C Molinaro, I Trubitsyna Artificial Intelligence 312, 103772, 2022 | 24 | 2022 |
| 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 | 23 | 2019 |
| Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks G Alfano, M Calautti, S Greco, F Parisi, I Trubitsyna Artificial Intelligence 323, 103967, 2023 | 20 | 2023 |
| Benchmarking approximate consistent query answering M Calautti, M Console, A Pieris Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2021 | 19 | 2021 |
| 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 | 18 | 2015 |
| 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 | 18 | 2013 |
| Existential active integrity constraints M Calautti, L Caroprese, S Greco, C Molinaro, I Trubitsyna, E Zumpano Expert Systems with Applications 168, 114297, 2021 | 17 | 2021 |
| Oblivious chase termination: The sticky case M Calautti, A Pieris 22nd International Conference on Database Theory, 17, 2019 | 14 | 2019 |
| Logic program termination analysis using atom sizes M Calautti, S Greco, C Molinaro, I Trubitsyna Proceedings of the Twenty-Fourth International Joint Conference on …, 2015 | 13 | 2015 |
| Checking termination of logic programs with function symbols through linear constraints M Calautti, S Greco, C Molinaro, I Trubitsyna Rules on the Web. From Theory to Applications: 8th International Symposium …, 2014 | 12 | 2014 |
| Counting database repairs entailing a query: The case of functional dependencies M Calautti, E Livshits, A Pieris, M Schneider Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2022 | 11 | 2022 |
| Semi-oblivious chase termination: The sticky case M Calautti, A Pieris Theory of Computing Systems 65, 84-121, 2021 | 11 | 2021 |
| Preference-based inconsistency-tolerant query answering under existential rules M Calautti, S Greco, C Molinaro, I Trubitsyna Proceedings of the 17th International Conference on Principles of Knowledge …, 2020 | 10 | 2020 |
| 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 | 8 | 2017 |
| Query answering over inconsistent knowledge bases: A probabilistic approach M Calautti, S Greco, C Molinaro, I Trubitsyna Theoretical Computer Science 935, 144-173, 2022 | 7 | 2022 |
| Non-uniformly terminating chase: Size and complexity M Calautti, G Gottlob, A Pieris Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2022 | 7 | 2022 |
