ASPIDE: Integrated development environment for answer set programming O Febbraro, K Reale, F Ricca International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011 | 102 | 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 | 87 | 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 | 29 | 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 | 21 | 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 | 19 | 2019 |
A Visual Interface for Drawing ASP Programs. O Febbraro, K Reale, F Ricca CILC, 2010 | 18 | 2010 |
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 | 8 | 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 |
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 | 4 | 2018 |
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 |
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 |
Large scale DLV: preliminary results N Leone, C Allocca, M Alviano, F Calimeri, C Civili, R Costabile, B Cuteri, ... CEUR WORKSHOP PROCEEDINGS 2396, 2019 | 2 | 2019 |
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 |
Reasoning over Ontologies with DLV C Allocca, M Alviano, F Calimeri, R Costabile, A Fiorentino, D Fuscą, ... International Joint Conference on Knowledge Discovery, Knowledge Engineering …, 2018 | 1 | 2018 |
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 |