| The ASP system DLV: advancements and applications WT Adrian, M Alviano, F Calimeri, B Cuteri, C Dodaro, W Faber, D Fuscà, ... KI-Künstliche Intelligenz 32 (2), 177-179, 2018 | 21 | 2018 |
| Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis B Cuteri, C Dodaro, F Ricca, P Schüller arXiv preprint arXiv:1707.04027, 2017 | 21 | 2017 |
| A logic-based question answering system for cultural heritage B Cuteri, K Reale, F Ricca European Conference on Logics in Artificial Intelligence, 526-541, 2019 | 8 | 2019 |
| Enhancing DLV for large-scale reasoning N Leone, C Allocca, M Alviano, F Calimeri, C Civili, R Costabile, ... International Conference on Logic Programming and Nonmonotonic Reasoning …, 2019 | 7 | 2019 |
| Large-scale reasoning on expressive horn ontologies C Allocca, F Calimeri, C Civili, R Costabile, B Cuteri, A Fiorentino, ... 3rd International Workshop on the Resurgence of Datalog in Academia and …, 2019 | 7 | 2019 |
| Partial compilation of ASP programs B Cuteri, C Dodaro, F Ricca, P Schüller arXiv preprint arXiv:1907.10469, 2019 | 3 | 2019 |
| Overcoming the grounding bottleneck due to constraints in ASP solving: Constraints become propagators B Cuteri, C Dodaro, F Ricca, P Schüller Proceedings of the Twenty-Ninth International Joint Conference on Artificial …, 2020 | 2 | 2020 |
| Debugging of Answer Set Programs Using Paracoherent Reasoning. B Cuteri, C Dodaro, F Ricca CILC, 289-299, 2019 | 2 | 2019 |
| A compiler for stratified Datalog programs: preliminary results. B Cuteri, F Ricca SEBD, 158, 2017 | 2 | 2017 |
| Closed domain question answering for cultural heritage B Cuteri databases 1, 2, 2016 | 2 | 2016 |
| Large scale DLV: preliminary results N Leone, A Carlo, M Alviano, F Calimeri, C Cristina, R Costabile, B Cuteri, ... the 34th Italian Conference on Computational Logic 2396, 2019 | 1 | 2019 |
| lp2cpp: A Tool For Compiling Stratified Logic Programs B Cuteri, AF De Rosis, F Ricca Conference of the Italian Association for Artificial Intelligence, 200-212, 2017 | 1 | 2017 |
| A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification R Costabile, G Catalano, B Cuteri, MC Morelli, N Leone, M Manna Theory and Practice of Logic Programming 20 (6), 864-879, 2020 | | 2020 |
| On the Development of Industrial Applications with ASP N Leone, B Cuteri, M Manna, K Reale, F Ricca LPOP: Challenges and Advances in Logic and Practice of Programming, 11, 2020 | | 2020 |
| Enhancing and Applying Answer Set Programming: Lazy Constraints, Partial Compilation and Question Answering B Cuteri, N Leone, F Ricca | | 2019 |
| Querying Large Expressive Horn Ontologies. C Allocca, M Alviano, F Calimeri, C Civili, R Costabile, B Cuteri, ... SEBD, 2019 | | 2019 |
| Querying Cultural Heritage Knowledge Bases in Natural Language: Discussion Paper. B Cuteri, K Reale, F Ricca SEBD, 2019 | | 2019 |
| Empowering ASPQ to Win in QBFEval 2018. B Cuteri, C Dodaro, F Ricca CILC, 167-178, 2019 | | 2019 |
| Computing Modular Paracoherent Answer Sets: Preliminary Result. B Cuteri, C Dodaro, F Ricca CILC, 279-288, 2019 | | 2019 |
| Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis P Schüller, F Ricca, C Dodaro, B Cuteri | | 2017 |
