| Stratification criteria and rewriting techniques for checking chase termination S Greco, F Spezzano, I Trubitsyna Proceedings of the VLDB Endowment 4 (11), 1158-1168, 2011 | 49 | 2011 |
| Preferred repairs for inconsistent databases S Greco, C Sirangelo, I Trubitsyna, E Zumpano Encyclopedia of Database Technologies and Applications, 480-485, 2005 | 32 | 2005 |
| On the semantics of abstract argumentation frameworks: A logic programming approach G Alfano, S Greco, F Parisi, I Trubitsyna Theory and Practice of Logic Programming 20 (5), 703-718, 2020 | 30 | 2020 |
| 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 | 26 | 2020 |
| Computing Approximate Query Answers over Inconsistent Knowledge Bases. S Greco, C Molinaro, I Trubitsyna IJCAI 2018, 1838-1846, 2018 | 26 | 2018 |
| 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 |
| Analyzing security scenarios using defence trees and answer set programming S Bistarelli, P Peretti, I Trubitsyna Electronic Notes in Theoretical Computer Science 197 (2), 121-129, 2008 | 23 | 2008 |
| Incomplete argumentation frameworks: Properties and complexity G Alfano, S Greco, F Parisi, I Trubitsyna Proceedings of the AAAI Conference on Artificial Intelligence 36 (5), 5451-5460, 2022 | 22 | 2022 |
| Argumentation frameworks with strong and weak constraints: Semantics and complexity G Alfano, S Greco, F Parisi, I Trubitsyna Proceedings of the AAAI Conference on Artificial Intelligence 35 (7), 6175-6184, 2021 | 22 | 2021 |
| Feasibility conditions and preference criteria in querying and repairing inconsistent databases S Greco, C Sirangelo, I Trubitsyna, E Zumpano International Conference on Database and Expert Systems Applications, 44-55, 2004 | 22 | 2004 |
| Logic programming with function symbols: Checking termination of bottom-up evaluation through program adornments S Greco, C Molinaro, I Trubitsyna Theory and Practice of Logic Programming 13 (4-5), 737-752, 2013 | 21 | 2013 |
| The View-Update Problem for Indefinite Databases L Caroprese, I Trubitsyna, M Truszczynski, E Zumpano 21st Italian Symposium on Advanced Database Systems, SEBD 2013, 95-102, 2013 | 21 | 2013 |
| Datalog: A logic language for expressing search and optimization problems S Greco, C Molinaro, I Trubitsyna, E Zumpano Theory and Practice of Logic Programming 10 (2), 125-166, 2010 | 20 | 2010 |
| Preference-based inconsistency-tolerant query answering under existential rules M Calautti, S Greco, C Molinaro, I Trubitsyna Artificial Intelligence 312, 103772, 2022 | 19 | 2022 |
| Approximation algorithms for querying incomplete databases S Greco, C Molinaro, I Trubitsyna Information Systems 86, 28-45, 2019 | 19 | 2019 |
| ACID: A system for computing approximate certain query answers over incomplete databases N Fiorentino, S Greco, C Molinaro, I Trubitsyna Proceedings of the 2018 International Conference on Management of Data, 1685 …, 2018 | 19 | 2018 |
| Checking chase termination: Cyclicity analysis and rewriting techniques S Greco, F Spezzano, I Trubitsyna IEEE Transactions on Knowledge and Data Engineering 27 (3), 621-635, 2014 | 18 | 2014 |
| Bounded programs: A new decidable class of logic programs with function symbols S Greco, C Molinaro, I Trubitsyna Twenty-Third International Joint Conference on Artificial Intelligence, 2013 | 18 | 2013 |
| On the termination of logic programs with function symbols S Greco, F Spezzano, I Trubitsyna Technical Communications of the 28th International Conference on Logic …, 2012 | 18 | 2012 |
| Optimization of bound disjunctive queries with constraints G Greco, S Greco, I Trubitsyna, E Zumpano Theory and Practice of Logic Programming 5 (6), 713-745, 2005 | 18 | 2005 |
