Francesco Ricca
Università della Calabria
H-index: 37
Europe-Italy
Top articles of Francesco Ricca
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Towards Automatic Composition of ASP Programs from Natural Language Specifications | arXiv preprint arXiv:2403.04541 | Manuel Borroto Irfan Kareem Francesco Ricca | 2024/3/7 |
A Direct ASP Encoding for Declare | Francesco Chiariello Valeria Fionda Antonio Ielo Francesco Ricca | 2024/1/10 | |
Unit Testing in ASP Revisited: Language and Test-Driven Development Environment | Theory and Practice of Logic Programming | Giovanni Amendola Giuseppe Mazzotta Francesco Ricca Tobias Berei | 2024/4/2 |
Neuro-Symbolic techniques for Predictive Maintenance | CEUR WORKSHOP PROCEEDINGS | Angelica Liguori Simone Mungari Ettore Ritacco Francesco Ricca Giuseppe Manco | 2023 |
An efficient solver for ASP (Q) | Theory and Practice of Logic Programming | Wolfgang Faber Giuseppe Mazzotta Francesco Ricca | 2023/7 |
Compilation-based Techniques for Evaluating Normal Logic Programs Under the Well-founded Semantics | CEUR WORKSHOP PROCEEDINGS | Andrea Cuteri Giuseppe Mazzotta Francesco Ricca | 2023 |
Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels | Theory and Practice of Logic Programming | Vito Barbara Massimo Guarascio Nicola Leone Giuseppe Manco Alessandro Quarta | 2023/7 |
ASP and subset minimality: Enumeration, cautious reasoning and MUSes | Artificial Intelligence | Mario Alviano Carmine Dodaro Salvatore Fiorentino Alessandro Previti Francesco Ricca | 2023/7/1 |
Towards ILP-Based Passive Learning | Antonio Ielo Mark Law Valeria Fionda Francesco Ricca Giuseppe De Giacomo | 2023/11/13 | |
ASP-based declarative reasoning in data-intensive enterprise and IoT applications | Algorithms | Francesco Calimeri Nicola Leone Giovanni Melissari Francesco Pacenza Simona Perri | 2023/3/14 |
SPARQL-QA-v2 system for Knowledge Base Question Answering | Expert Systems with Applications | Manuel A Borroto Francesco Ricca | 2023/11/1 |
ASP-based Axiom Pinpointing for Description Logics | CEUR WORKSHOP PROCEEDINGS | Ignacio Huitzil Giuseppe Mazzotta Rafael Peñaloza Francesco Ricca | 2023 |
Logic-based composition of business process models | Valeria Fionda Antonio Ielo Francesco Ricca | 2023/8/1 | |
Compilation of ASP programs: Recent developments | Carmine Dodaro Giuseppe Mazzotta Francesco Ricca | 2022 | |
Compilation of aggregates in ASP systems | Proceedings of the AAAI Conference on Artificial Intelligence | Giuseppe Mazzotta Francesco Ricca Carmine Dodaro | 2022/6/28 |
Declarative Mining of Business Processes via ASP. | PMAI@ IJCAI | Antonio Ielo Francesco Ricca Luigi Pontieri | 2022 |
Smart devices and large scale reasoning via ASP: tools and applications | Kristian Reale Francesco Calimeri Nicola Leone Francesco Ricca | 2022/1/7 | |
Pinpointing axioms in ontologies via ASP | Rafael Peñaloza Francesco Ricca | 2022/8/29 | |
SPARQL-QA enters the QALD challenge | Proceedings of the 7th Natural Language Interfaces for the Web of Data (NLIWoD) co-located with the 19th European Semantic Web Conference, Hersonissos, Greece | Manuel Borroto Francesco Ricca Bernardo Cuteri Vito Barbara | 2022 |
Modelling the Outlier Detection Problem in ASP (Q) | Pierpaolo Bellusci Giuseppe Mazzotta Francesco Ricca | 2022/1/7 |