Francesco Ricca

ORCID

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 123

Top Venues

CoRR

Theory Pract. Log. Program.

LPNMR

SEBD

Publications

Giovanni Amendola, Tobias Berei, Giuseppe Mazzotta, Francesco Ricca
Unit Testing in ASP Revisited: Language and Test-Driven Development Environment. CoRR (2024)
Erica Coppolillo, Francesco Calimeri, Giuseppe Manco, Simona Perri, Francesco Ricca
LLASP: Fine-tuning Large Language Models for Answer Set Programming. CoRR (2024)
Manuel Borroto, Irfan Kareem, Francesco Ricca
Towards Automatic Composition of ASP Programs from Natural Language Specifications. CoRR (2024)
Francesco Chiariello, Valeria Fionda, Antonio Ielo, Francesco Ricca
A Direct ASP Encoding for Declare. PADL (2024)
Vito Barbara, Massimo Guarascio, Nicola Leone, Giuseppe Manco, Alessandro Quarta, Francesco Ricca, Ettore Ritacco
Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels. Theory Pract. Log. Program. 23 (4) (2023)
Carmine Dodaro, Giuseppe Mazzotta, Francesco Ricca
Compilation of Tight ASP Programs. ECAI (2023)
Wolfgang Faber, Giuseppe Mazzotta, Francesco Ricca
An Efficient Solver for ASP(Q). Theory Pract. Log. Program. 23 (4) (2023)
Wolfgang Faber, Giuseppe Mazzotta, Francesco Ricca
Enhancing ASP(Q) evaluation. DP@AI*IA (2023)
Antonio Ielo, Mark Law, Valeria Fionda, Francesco Ricca, Giuseppe De Giacomo, Alessandra Russo
Towards ILP-Based LTL f Passive Learning. ILP (2023)
Valeria Fionda, Antonio Ielo, Francesco Ricca
Logic-based Composition of Business Process Models. KR (2023)
Francesco Calimeri, Nicola Leone, Giovanni Melissari, Francesco Pacenza, Simona Perri, Kristian Reale, Francesco Ricca, Jessica Zangari
ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications. Algorithms 16 (3) (2023)
Ignacio Huitzil, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca
ASP-based Axiom Pinpointing for Description Logics. Description Logics (2023)
Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Alessandro Previti, Francesco Ricca
ASP and subset minimality: Enumeration, cautious reasoning and MUSes. Artif. Intell. 320 (2023)
Manuel A. Borroto, Francesco Ricca
SPARQL-QA-v2 system for Knowledge Base Question Answering. Expert Syst. Appl. 229 (Part A) (2023)
Varsha Behrunani, Marta Zagórowska, Mathias Hudoba de Badyn, Francesco Ricca, Philipp Heer, John Lygeros
Degradation-aware data-enabled predictive control of energy hubs. CoRR (2023)
Angelica Liguori, Simone Mungari, Ettore Ritacco, Francesco Ricca, Giuseppe Manco, Salvatore Iiritano
Neuro-Symbolic techniques for Predictive Maintenance. SEBD (2023)
Wolfgang Faber, Giuseppe Mazzotta, Francesco Ricca
An efficient solver for ASP(Q). CoRR (2023)
Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca
Compilation-based Techniques for Evaluating Normal Logic Programs Under the Well-founded Semantics. CILC (2023)
Vito Barbara, Massimo Guarascio, Nicola Leone, Giuseppe Manco, Alessandro Quarta, Francesco Ricca, Ettore Ritacco
Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels. CoRR (2023)
Giuseppe Mazzotta, Carmine Dodaro, Francesco Ricca
Compilation of ASP Programs: Recent Developments (Short Paper). DP@AI*IA (2022)
Rafael Peñaloza, Francesco Ricca
Pinpointing Axioms in Ontologies via ASP. LPNMR (2022)
Giuseppe Mazzotta, Francesco Ricca, Carmine Dodaro
Compilation of Aggregates in ASP Systems. AAAI (2022)
Vito Barbara, Dimitri Buelli, Massimo Guarascio, Stefano Ierace, Salvatore Iiritano, Giovanni Laboccetta, Nicola Leone, Giuseppe Manco, Valerio Pesenti, Alessandro Quarta, Francesco Ricca, Ettore Ritacco
A Loosely-coupled Neural-symbolic approach to Compliance of Electric Panels. CILC (2022)
Pierpaolo Bellusci, Giuseppe Mazzotta, Francesco Ricca
Modelling the Outlier Detection Problem in ASP(Q). PADL (2022)
Carmine Dodaro, Davide Ilardi, Luca Oneto, Francesco Ricca
Deep Learning for the Generation of Heuristics in Answer Set Programming: A Case Study of Graph Coloring. LPNMR (2022)
Kristian Reale, Francesco Calimeri, Nicola Leone, Francesco Ricca
Smart Devices and Large Scale Reasoning via ASP: Tools and Applications. PADL (2022)
Manuel Alejandro Borroto Santana, Bernardo Cuteri, Francesco Ricca, Vito Barbara
SPARQL-QA enters the QALD challenge. NLIWoD@ESWC (2022)
Manuel Alejandro Borroto Santana, Bernardo Cuteri, Francesco Ricca, Vito Barbara
From Graph to Graph - Question Answering using Abstract Meaning Representation. NLIWoD@ESWC (2022)
Antonio Ielo, Francesco Ricca, Luigi Pontieri
Declarative Mining of Business Processes via ASP. PMAI@IJCAI (2022)
Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Alessandro Previti, Francesco Ricca
Enumeration of Minimal Models and MUSes in WASP. LPNMR (2022)
Giovanni Amendola, Bernardo Cuteri, Francesco Ricca, Mirek Truszczynski
Solving Problems in the Polynomial Hierarchy with ASP(Q). LPNMR (2022)
Giuseppe Benvenuto, Salvatore Iiritano, Luigi Mirto, Pasquale Piccione, Massimiliano Ruffolo, Simone Vizza, Manuel Borroto, Francesco Ricca
Hydrocontrol IT: an attempt to mitigate water losses in Italy towns. DP@AI*IA (2021)
Antonio Ielo, Francesco Ricca
Answer Set Computation of Negative Two-Literal Programs Based on Graph Neural Networks: Preliminary Results. CILC (2021)
Manuel A. Borroto Santana, Francesco Ricca, Bernardo Cuteri
Reducing the impact of out of vocabulary words in the translation of natural language questions into SPARQL queries. CoRR (2021)
Manuel Alejandro Borroto, Francesco Ricca, Bernardo Cuteri
A system for translating natural language questions into SPARQL queries with neural networks: Preliminary results (Discussion Paper). SEBD (2021)
Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Francesco Ricca
Paracoherent answer set computation. Artif. Intell. 299 (2021)
Riccardo Bertolucci, Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro, Francesco Ricca
Explaining ASP-based Operating Room Schedules. IPS-RCRA@AI*IA (2021)
Christoph Benzmüller, Xavier Parent, Francesco Ricca
Introduction to the Special Issue on Logic Rules and Reasoning: Selected Papers from the 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018). Theory Pract. Log. Program. 21 (1) (2021)
Vito Barbara, Manuel Borroto, Francesco Ricca
A Sequence to Sequence Approach for Knowledge Base Relation Linking. NL4AI@AI*IA (2021)
Manuel Borroto, Bernardo Cuteri, Francesco Ricca
Mitigating the Impact of out of Vocabulary Words in a Neural-Machine-Translation-based Question Answering System. DeepOntoNLP/X-SENTIMENT@ESWC (2021)
Giovanni Amendola, Tobias Berei, Francesco Ricca
Testing in ASP: Revisited Language and Programming Environment. JELIA (2021)
Manuel Borroto, Francesco Ricca, Bernardo Cuteri
A Neural-Machine-Translation System Resilient to Out of Vocabulary Words for Translating Natural Language to SPARQL. AI*IA (2021)
Giuseppe Mazzotta, Bernardo Cuteri, Carmine Dodaro, Francesco Ricca
Compilation of Aggregates in ASP: Preliminary Results. CILC (2020)
Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski
New models for generating hard random boolean formulas and disjunctive logic programs. Artif. Intell. 279 (2020)
Carmine Dodaro, Francesco Ricca
The External Interface for Extending WASP. Theory Pract. Log. Program. 20 (2) (2020)
Mario Alviano, Carmine Dodaro, João Marques-Silva, Francesco Ricca
Optimum stable model search: algorithms and implementation. J. Log. Comput. 30 (4) (2020)
Francesco Ricca, Alessandra Russo
Introduction to the 36th International Conference on Logic Programming Special Issue I. Theory Pract. Log. Program. 20 (5) (2020)
Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller
Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators. IJCAI (2020)
Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub
ASP-Core-2 Input Language Format. Theory Pract. Log. Program. 20 (2) (2020)
Francesco Ricca, Alessandra Russo
Introduction to the 36th International Conference on Logic Programming Special Issue II. Theory Pract. Log. Program. 20 (6) (2020)
Martin Gebser, Marco Maratea, Francesco Ricca
The Seventh Answer Set Programming Competition: Design and Results. Theory Pract. Log. Program. 20 (2) (2020)
Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Luca Pulina, Francesco Ricca
Algorithm Selection for Paracoherent Answer Set Computation. JELIA (2019)
Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Nicola Leone, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
Querying Large Expressive Horn Ontologies. SEBD (2019)
Bernardo Cuteri, Kristian Reale, Francesco Ricca
Querying Cultural Heritage Knowledge Bases in Natural Language: Discussion Paper. SEBD (2019)
Bernardo Cuteri, Kristian Reale, Francesco Ricca
A Logic-Based Question Answering System for Cultural Heritage. JELIA (2019)
Bernardo Cuteri, Carmine Dodaro, Francesco Ricca
Empowering ASPQ to Win in QBFEval 2018. CILC (2019)
Christoph Benzmüller, Xavier Parent, Francesco Ricca
Report on the Second International Joint Conference on Rules and Reasoning. AI Mag. 40 (2) (2019)
Francesco Ricca
An Extension of Datalog for Modelling and Solving Complex Combinatorial Problems. Datalog (2019)
Giovanni Amendola, Carmine Dodaro, Francesco Ricca
Better Paracoherent Answer Sets with Less Resources. CoRR (2019)
Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
Large Scale DLV: Preliminary Results. CILC (2019)
Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub
ASP-Core-2 Input Language Format. CoRR (2019)
Martin Gebser, Marco Maratea, Francesco Ricca
The Seventh Answer Set Programming Competition: Design and Results. CoRR (2019)
Mario Alviano, Giovanni Amendola, Carmine Dodaro, Nicola Leone, Marco Maratea, Francesco Ricca
Evaluation of Disjunctive Programs in WASP. LPNMR (2019)
Giovanni Amendola, Francesco Ricca
Paracoherent Answer Set Semantics meets Argumentation Frameworks. Theory Pract. Log. Program. 19 (5-6) (2019)
Carmine Dodaro, Philip Gasteiger, Kristian Reale, Francesco Ricca, Konstantin Schekotihin
Debugging Non-ground ASP Programs: Technique and Graphical Tools. Theory Pract. Log. Program. 19 (2) (2019)
Bernardo Cuteri, Carmine Dodaro, Francesco Ricca
Debugging of Answer Set Programs Using Paracoherent Reasoning. CILC (2019)
Carlo Allocca, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
Large-Scale Reasoning on Expressive Horn Ontologies. Datalog (2019)
Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller
Partial Compilation of ASP Programs. Theory Pract. Log. Program. 19 (5-6) (2019)
Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Bernardo Cuteri, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
Enhancing DLV for Large-Scale Reasoning. LPNMR (2019)
Giovanni Amendola, Francesco Ricca, Mirek Truszczynski
Beyond NP: Quantifying over Answer Sets. CoRR (2019)
Giovanni Amendola, Francesco Ricca
Paracoherent Answer Set Semantics meets Argumentation Frameworks. CoRR (2019)
Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski
Beyond NP: Quantifying over Answer Sets. Theory Pract. Log. Program. 19 (5-6) (2019)
Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller
Partial Compilation of ASP Programs. CoRR (2019)
Bernardo Cuteri, Carmine Dodaro, Francesco Ricca
Computing Modular Paracoherent Answer Sets: Preliminary Result. CILC (2019)
Giovanni Amendola, Carmine Dodaro, Francesco Ricca
Better Paracoherent Answer Sets with Less Resources. Theory Pract. Log. Program. 19 (5-6) (2019)
Francesco Calimeri, Stefano Germano, Eliana Palermiti, Kristian Reale, Francesco Ricca
Developing ASP Programs with ASPIDE and LoIDE. Künstliche Intell. 32 (2-3) (2018)
Martin Gebser, Nicola Leone, Marco Maratea, Simona Perri, Francesco Ricca, Torsten Schaub
Evaluation Techniques and Systems for Answer Set Programming: a Survey. IJCAI (2018)
Weronika T. Adrian, Mario Alviano, Francesco Calimeri, Bernardo Cuteri, Carmine Dodaro, Wolfgang Faber, Davide Fuscà, Nicola Leone, Marco Manna, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
The ASP System DLV: Advancements and Applications. Künstliche Intell. 32 (2-3) (2018)
Carmine Dodaro, Francesco Ricca
The External Interface for Extending WASP. CoRR (2018)
Carmine Dodaro, Philip Gasteiger, Kristian Reale, Francesco Ricca, Konstantin Schekotihin
Debugging Non-Ground ASP Programs: Technique and Graphical Tools. CoRR (2018)
Francesco Ricca
Compute Paracoherent Answer Sets via Saturation. RiCeRcA@AI*IA (2018)
Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Francesco Ricca
Externally Supported Models for Efficient Computation of Paracoherent Answer Sets. AAAI (2018)
Carlo Allocca, Mario Alviano, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Nicola Leone, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
Reasoning over Ontologies with DLV. IC3K (2018)
Gelsomina Catalano, Giovanni Laboccetta, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri
A REST-Based Development Framework for ASP: Tools and Application. PADL (2018)
Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
First Steps towards Reasoning on Big Data with DLV. SEBD (2018)
Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski
New Models for Generating Hard Random Boolean Formulas and Disjunctive Logic Programs. CoRR (2018)
Giovanni Amendola, Francesco Ricca, Mirek Truszczynski
A Generator of Hard 2QBF Formulas and ASP Programs. KR (2018)
Bernardo Cuteri, Francesco Ricca
A compiler for stratified Datalog programs: preliminary results. SEBD (2017)
Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca
On the Computation of Paracoherent Answer Sets. CoRR (2017)
Martin Gebser, Marco Maratea, Francesco Ricca
The Sixth Answer Set Programming Competition. J. Artif. Intell. Res. 60 (2017)
Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca
On the Computation of Paracoherent Answer Sets. AAAI (2017)
Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller
Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis. Theory Pract. Log. Program. 17 (5-6) (2017)
Marco Manna, Francesco Ricca, Giorgio Terracina
Decomposing and pruning primary key violations from large data sets (discussion paper). SEBD (2017)
Martin Gebser, Marco Maratea, Francesco Ricca
The Design of the Seventh Answer Set Programming Competition. LPNMR (2017)
Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski
Generating Hard Random Boolean Formulas and Disjunctive Logic Programs. IJCAI (2017)
Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller
Constraints, Lazy Constraints, or Propagators in ASP Solving: An Empirical Analysis. CoRR (2017)
Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
The ASP System DLV2. LPNMR (2017)
Bernardo Cuteri, Alessandro Francesco De Rosis, Francesco Ricca
lp2cpp: A Tool For Compiling Stratified Logic Programs. AI*IA (2017)
Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Konstantin Schekotihin
Driving CDCL Search. CoRR (2016)
Carmine Dodaro, Francesco Ricca, Peter Schüller
External Propagators in WASP: Preliminary Report. RCRA@AI*IA (2016)

Francesco Ricca.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Francesco Ricca