| 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, 177-179, 2018 | 51 | 2018 |
| Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis B Cuteri, C Dodaro, F Ricca, P Schüller Theory and Practice of Logic Programming 17 (5-6), 780-799, 2017 | 25 | 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 | 18 | 2019 |
| Enhancing DLV for large-scale reasoning N Leone, C Allocca, M Alviano, F Calimeri, C Civili, R Costabile, ... Logic Programming and Nonmonotonic Reasoning: 15th International Conference …, 2019 | 17 | 2019 |
| Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators. B Cuteri, C Dodaro, F Ricca, P Schüller IJCAI, 1688-1694, 2020 | 15 | 2020 |
| Partial compilation of ASP programs B Cuteri, C Dodaro, F Ricca, P Schüller Theory and Practice of Logic Programming 19 (5-6), 857-873, 2019 | 9 | 2019 |
| Large-scale reasoning on expressive horn ontologies C Allocca, F Calimeri, C Civili, R Costabile, B Cuteri, A Fiorentino, ... CEUR WORKSHOP PROCEEDINGS 2368, 10-21, 2019 | 7 | 2019 |
| Debugging of Answer Set Programs Using Paracoherent Reasoning. B Cuteri, C Dodaro, F Ricca CILC, 289-299, 2019 | 6 | 2019 |
| SPARQL-QA enters the QALD challenge M Borroto, F Ricca, B Cuteri, V Barbara Proceedings of the 7th Natural Language Interfaces for the Web of Data …, 2022 | 5 | 2022 |
| 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 | 5 | 2020 |
| Reducing the impact of out of vocabulary words in the translation of natural language questions into SPARQL queries MAB Santana, F Ricca, B Cuteri arXiv preprint arXiv:2111.03000, 2021 | 3 | 2021 |
| A compiler for stratified Datalog programs: preliminary results. B Cuteri, F Ricca SEBD, 158, 2017 | 3 | 2017 |
| Solving Problems in the Polynomial Hierarchy with ASP (Q) G Amendola, B Cuteri, F Ricca, M Truszczynski International Conference on Logic Programming and Nonmonotonic Reasoning …, 2022 | 2 | 2022 |
| Compilation of Aggregates in ASP: Preliminary Results. G Mazzotta, B Cuteri, C Dodaro, F Ricca CILC, 278-296, 2020 | 2 | 2020 |
| Closed domain question answering for cultural heritage B Cuteri databases 1, 2, 2016 | 2 | 2016 |
| A neural-machine-translation system resilient to out of vocabulary words for translating natural language to SPARQL M Borroto, F Ricca, B Cuteri International Conference of the Italian Association for Artificial …, 2021 | 1 | 2021 |
| A system for translating natural language questions into SPARQL queries with neural networks: Preliminary results MA Borroto, F Ricca, B Cuteri Proc. 29th Italian Symp. Adv. Database Syst., 1-12, 2021 | 1 | 2021 |
| Large scale DLV: preliminary results N Leone, C Allocca, M Alviano, F Calimeri, C Civili, R Costabile, B Cuteri, ... CEUR WORKSHOP PROCEEDINGS 2396, 2019 | 1 | 2019 |
| lp2cpp: A Tool For Compiling Stratified Logic Programs B Cuteri, AF De Rosis, F Ricca AI* IA 2017 Advances in Artificial Intelligence: XVIth International …, 2017 | 1 | 2017 |
| Declarative specification of benchmark sessions via asp M Alviano, B Cuteri, F Ricca 21th RCRA workshop on Experimental Evaluation of Algorithms for Solving …, 2014 | 1 | 2014 |
