| ASPIDE: Integrated development environment for answer set programming O Febbraro, K Reale, F Ricca International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011 | 100 | 2011 |
| The third answer set programming competition: Preliminary report of the system competition track F Calimeri, G Ianni, F Ricca, M Alviano, A Bria, G Catalano, S Cozza, ... Logic Programming and Nonmonotonic Reasoning: 11th International Conference …, 2011 | 86 | 2011 |
| Debugging non-ground ASP programs: Technique and graphical tools C Dodaro, P Gasteiger, K Reale, F Ricca, K Schekotihin Theory and Practice of Logic Programming 19 (2), 290-316, 2019 | 24 | 2019 |
| Unit Testing in ASPIDE O Febbraro, N Leone, K Reale, F Ricca International Conference on Applications of Declarative Programming and …, 2011 | 24 | 2011 |
| 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 | 19 | 2019 |
| A Visual Interface for Drawing ASP Programs. O Febbraro, K Reale, F Ricca CILC, 2010 | 18 | 2010 |
| 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 |
| 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 |
| Datalog development tools O Febbraro, G Grasso, N Leone, K Reale, F Ricca International Datalog 2.0 Workshop, 81-85, 2012 | 5 | 2012 |
| Extending ASPIDE with User-defined Plugins. O Febbraro, N Leone, K Reale, F Ricca CILC, 236-240, 2012 | 5 | 2012 |
| An integrated environment for reasoning over ontologies via logic programming B Nardi, K Reale, F Ricca, G Terracina Web Reasoning and Rule Systems: 7th International Conference, RR 2013 …, 2013 | 4 | 2013 |
| Smart devices and large scale reasoning via ASP: tools and applications K Reale, F Calimeri, N Leone, F Ricca International Symposium on Practical Aspects of Declarative Languages, 154-161, 2022 | 3 | 2022 |
| Developing ASP Programs with ASPIDE and LoIDE F Calimeri, S Germano, E Palermiti, K Reale, F Ricca KI-Künstliche Intelligenz 32, 185-186, 2018 | 3 | 2018 |
| A rest-based development framework for ASP: tools and application G Catalano, G Laboccetta, K Reale, F Ricca, P Veltri International Symposium on Practical Aspects of Declarative Languages, 161-169, 2017 | 3 | 2017 |
| An integrated graphical user interface for debugging answer set programs P Gasteiger, C Dodaro, B Musitsch, K Reale, F Ricca, K Schekotihin arXiv preprint arXiv:1611.04969, 2016 | 3 | 2016 |
| Testing ASP programs in ASPIDE. O Febbraro, K Reale, F Ricca CILC, 115-129, 2011 | 3 | 2011 |
| ASP-based declarative reasoning in data-intensive enterprise and IoT applications F Calimeri, N Leone, G Melissari, F Pacenza, S Perri, K Reale, F Ricca, ... Algorithms 16 (3), 159, 2023 | 1 | 2023 |
| 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 |
| ASPIDE the Integrated Development Environment for Answer Set Programming: Progress Report O Febbraro, N Leone, F Ricca Atti del convegno" NMR 2012", 1-4, 2012 | 1 | 2012 |
| Insegnare Answer Set Programming nelle Scuole Superiori K Reale ITADINFO. Metodi e Pratiche Didattiche Innovative, Ricerca Scientifica …, 2023 | | 2023 |
