Francesco Ricca
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
76
Venues
14
Active years
2004–2026
Best venue rank
A*
Where they publish
Papers
76 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | 2-ASP(Q) Solving Based on CEGAR. | Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca |
| 2026 | AAAI | Computing Syntax Tree-based Minimal Unsatisfiable Cores of LTLf Formulas. | Valeria Fionda, Antonio Ielo, Francesco Ricca |
| 2026 | AAAI | Enumerating Minimal Unsatisfiable Cores of LTLf Formulae. | Antonio Ielo, Giuseppe Mazzotta, Rafael Pealoza, Francesco Ricca |
| 2026 | KR | Probabilistic Reasoning within Answer Set Programming with Quantifiers. | Damiano Azzolini, Giuseppe Mazzotta, Francesco Ricca |
| 2026 | PADL | Solving Hard Combinatorial Optimization Problems with PyQASP. | Damiano Azzolini, Nicola Leone, Giuseppe Mazzotta, Francesco Ricca |
| 2025 | ECAI | An Algebraic View of MAP Inference in Probabilistic Answer Set Programs. | Damiano Azzolini, Giuseppe Mazzotta, Francesco Ricca, Fabrizio Riguzzi |
| 2025 | ICLP | Enhancing Compilation-based ASP Solving with Postponed Atom Discovery. | Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca |
| 2025 | ICLP | Toward Executing Datalog on Big Data Platforms - Extended Abstract. | Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca |
| 2025 | IJCAI | Most Probable Explanation in Probabilistic Answer Set Programming. | Damiano Azzolini, Giuseppe Mazzotta, Francesco Ricca, Fabrizio Riguzzi |
| 2025 | IJCAI | Are Large Language Models Fluent in Declarative Process Mining? | Valeria Fionda, Antonio Ielo, Francesco Ricca |
| 2025 | JELIA | Lazy Atom Discovery in Compilation-Based ASP Solving. | Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca |
| 2025 | KR | A Novel Framework for Reasoning over Optimization Problems in Probabilistic Answer Set Programming. | Damiano Azzolini, Giuseppe Mazzotta, Francesco Ricca, Fabrizio Riguzzi |
| 2024 | ICLP | Efficient Compliance Computation in Probabilistic Declarative Specifications. | Mario Alviano, Antonio Ielo, Francesco Ricca |
| 2024 | IJCAI | Towards Automatic Composition of ASP Programs from Natural Language Specifications. | Manuel A. Borroto Santana, Irfan Kareem, Francesco Ricca |
| 2024 | KR | LLASP: Fine-tuning Large Language Models for Answer Set Programming. | Erica Coppolillo, Francesco Calimeri, Giuseppe Manco, Simona Perri, Francesco Ricca |
| 2024 | KR | Blending Grounding and Compilation for Efficient ASP Solving. | Carmine Dodaro, Giuseppe Mazzotta, Francesco Ricca |
| 2024 | LPNMR | LTLf2ASP: LTLf Bounded Satisfiability in ASP. | Valeria Fionda, Antonio Ielo, Francesco Ricca |
| 2024 | LPNMR | An ASP-Based Approach to Water Distribution System Reconstruction. | Antonio Ielo, Salvatore Falco, Salvatore Iiritano, Patrizia Piro, Ada Polizzi, Francesco Ricca |
| 2024 | LPNMR | Using Learning from Answer Sets for Robust Question Answering with LLM. | Irfan Kareem, Katie Gallagher, Manuel A. Borroto, Francesco Ricca, Alessandra Russo |
| 2024 | PADL | A Direct ASP Encoding for Declare. | Francesco Chiariello, Valeria Fionda, Antonio Ielo, Francesco Ricca |
| 2023 | ECAI | Compilation of Tight ASP Programs. | Carmine Dodaro, Giuseppe Mazzotta, Francesco Ricca |
| 2023 | ILP | Towards ILP-Based LTL f Passive Learning. | Antonio Ielo, Mark Law, Valeria Fionda, Francesco Ricca, Giuseppe De Giacomo, Alessandra Russo |
| 2023 | KR | Logic-based Composition of Business Process Models. | Valeria Fionda, Antonio Ielo, Francesco Ricca |
| 2022 | AAAI | Compilation of Aggregates in ASP Systems. | Giuseppe Mazzotta, Francesco Ricca, Carmine Dodaro |
| 2022 | IJCAI | Declarative Mining of Business Processes via ASP. | Antonio Ielo, Francesco Ricca, Luigi Pontieri |
| 2022 | LPNMR | Enumeration of Minimal Models and MUSes in WASP. | Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Alessandro Previti, Francesco Ricca |
| 2022 | LPNMR | Solving Problems in the Polynomial Hierarchy with ASP(Q). | Giovanni Amendola, Bernardo Cuteri, Francesco Ricca, Mirek Truszczynski |
| 2022 | LPNMR | Deep Learning for the Generation of Heuristics in Answer Set Programming: A Case Study of Graph Coloring. | Carmine Dodaro, Davide Ilardi, Luca Oneto, Francesco Ricca |
| 2022 | LPNMR | Pinpointing Axioms in Ontologies via ASP. | Rafael Pealoza, Francesco Ricca |
| 2022 | PADL | Modelling the Outlier Detection Problem in ASP(Q). | Pierpaolo Bellusci, Giuseppe Mazzotta, Francesco Ricca |
| 2022 | PADL | Smart Devices and Large Scale Reasoning via ASP: Tools and Applications. | Kristian Reale, Francesco Calimeri, Nicola Leone, Francesco Ricca |
| 2021 | JELIA | Testing in ASP: Revisited Language and Programming Environment. | Giovanni Amendola, Tobias Berei, Francesco Ricca |
| 2020 | IJCAI | Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators. | Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schller |
| 2019 | JELIA | Algorithm Selection for Paracoherent Answer Set Computation. | Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Luca Pulina, Francesco Ricca |
| 2019 | JELIA | A Logic-Based Question Answering System for Cultural Heritage. | Bernardo Cuteri, Kristian Reale, Francesco Ricca |
| 2019 | LPNMR | Evaluation of Disjunctive Programs in WASP. | Mario Alviano, Giovanni Amendola, Carmine Dodaro, Nicola Leone, Marco Maratea, Francesco Ricca |
| 2019 | LPNMR | Enhancing DLV for Large-Scale Reasoning. | 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 |
| 2018 | AAAI | Externally Supported Models for Efficient Computation of Paracoherent Answer Sets. | Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Francesco Ricca |
| 2018 | IC3K | Reasoning over Ontologies with DLV. | 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 |
| 2018 | IJCAI | Evaluation Techniques and Systems for Answer Set Programming: a Survey. | Martin Gebser, Nicola Leone, Marco Maratea, Simona Perri, Francesco Ricca, Torsten Schaub |
| 2018 | KR | A Generator of Hard 2QBF Formulas and ASP Programs. | Giovanni Amendola, Francesco Ricca, Mirek Truszczynski |
| 2018 | PADL | A REST-Based Development Framework for ASP: Tools and Application. | Gelsomina Catalano, Giovanni Laboccetta, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri |
| 2017 | AAAI | On the Computation of Paracoherent Answer Sets. | Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca |
| 2017 | IJCAI | Generating Hard Random Boolean Formulas and Disjunctive Logic Programs. | Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski |
| 2017 | LPNMR | The ASP System DLV2. | Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fusc, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari |
| 2017 | LPNMR | The Design of the Seventh Answer Set Programming Competition. | Martin Gebser, Marco Maratea, Francesco Ricca |
| 2016 | AAAI | What's Hot in the Answer Set Programming Competition. | Martin Gebser, Marco Maratea, Francesco Ricca |
| 2016 | SAT | ASPQ: An ASP-Based 2QBF Solver. | Giovanni Amendola, Carmine Dodaro, Francesco Ricca |
| 2015 | IJCAI | A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size. | Mario Alviano, Carmine Dodaro, Francesco Ricca |
| 2015 | LPNMR | Advances in WASP. | Mario Alviano, Carmine Dodaro, Nicola Leone, Francesco Ricca |
| 2015 | LPNMR | Interactive Debugging of Non-ground ASP Programs. | Carmine Dodaro, Philip Gasteiger, Benjamin Musitsch, Francesco Ricca, Kostyantyn M. Shchekotykhin |
| 2015 | LPNMR | The Design of the Sixth Answer Set Programming Competition - - Report -. | Martin Gebser, Marco Maratea, Francesco Ricca |
| 2015 | LPNMR | Multi-level Algorithm Selection for ASP. | Marco Maratea, Luca Pulina, Francesco Ricca |
| 2014 | JELIA | Exploiting Answer Set Programming for Handling Information Diffusion in a Multi-Social-Network Scenario. | Giuseppe Marra, Francesco Ricca, Giorgio Terracina, Domenico Ursino |
| 2013 | LPNMR | The Fourth Answer Set Programming Competition: Preliminary Report. | Mario Alviano, Francesco Calimeri, Gnther Charwat, Minh Dao-Tran, Carmine Dodaro, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Johannes Oetsch, Andreas Pfandler, Jrg Phrer, Christoph Redl, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao |
| 2013 | LPNMR | WASP: A Native ASP Solver Based on Constraint Learning. | Mario Alviano, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca |
| 2013 | LPNMR | Towards Query Answering in Relational Multi-Context Systems. | Rosamaria Barilaro, Michael Fink, Francesco Ricca, Giorgio Terracina |
| 2012 | ICLP | Applying Machine Learning Techniques to ASP Solving. | Marco Maratea, Luca Pulina, Francesco Ricca |
| 2012 | JELIA | The Multi-Engine ASP Solver me-asp. | Marco Maratea, Luca Pulina, Francesco Ricca |
| 2012 | KR | JASP: A Framework for Integrating Answer Set Programming with Java. | Onofrio Febbraro, Nicola Leone, Giovanni Grasso, Francesco Ricca |
| 2011 | LPNMR | Optimizing the Distributed Evaluation of Stratified Programs via Structural Analysis. | Rosamaria Barilaro, Francesco Ricca, Giorgio Terracina |
| 2011 | LPNMR | The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track. | Francesco Calimeri, Giovambattista Ianni, Francesco Ricca, Mario Alviano, Annamaria Bria, Gelsomina Catalano, Susanna Cozza, Wolfgang Faber, Onofrio Febbraro, Nicola Leone, Marco Manna, Alessandra Martello, Claudio Panetta, Simona Perri, Kristian Reale, Maria Carmela Santoro, Marco Sirianni, Giorgio Terracina, Pierfrancesco Veltri |
| 2011 | LPNMR | ASPIDE: Integrated Development Environment for Answer Set Programming. | Onofrio Febbraro, Kristian Reale, Francesco Ricca |
| 2010 | CPAIOR | Towards a Fully-Parallel DLV System. | Simona Perri, Francesco Ricca, Marco Sirianni |
| 2010 | JELIA | DLV | Marco Maratea, Francesco Ricca, Pierfrancesco Veltri |
| 2010 | PADL | An ASP-Based System for Team-Building in the Gioia-Tauro Seaport. | Giovanni Grasso, Salvatore Iiritano, Nicola Leone, Vincenzino Lio, Francesco Ricca, Francesco Scalise |
| 2010 | PADL | Efficient Application of Answer Set Programming for Advanced Data Integration. | Nicola Leone, Francesco Ricca, Luca Agostino Rubino, Giorgio Terracina |
| 2010 | POPL | A parallel ASP instantiator based on DLV. | Simona Perri, Francesco Ricca, Marco Sirianni |
| 2009 | LPNMR | Some DLV Applications for Knowledge Management. | Giovanni Grasso, Salvatore Iiritano, Nicola Leone, Francesco Ricca |
| 2009 | LPNMR | An ASP-Based System for e-Tourism. | Salvatore Maria Ielpa, Salvatore Iiritano, Nicola Leone, Francesco Ricca |
| 2009 | LPNMR | An ASP-Based Data Integration System. | Nicola Leone, Francesco Ricca, Giorgio Terracina |
| 2007 | LPNMR | Experimenting with Look-Back Heuristics for Hard ASP Programs. | Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca |
| 2005 | IJCAI | Heuristics for Hard ASP Programs. | Wolfgang Faber, Nicola Leone, Francesco Ricca |
| 2005 | LPNMR | Solving Hard ASP Programs Efficiently. | Wolfgang Faber, Francesco Ricca |
| 2005 | LPNMR | A DLP System with Object-Oriented Features. | Francesco Ricca, Nicola Leone, Valerio De Bonis, Tina Dell'Armi, Stefania Galizia, Giovanni Grasso |
| 2004 | WWW | An agent system reasoning about the web and the user. | Giovambattista Ianni, Francesco Ricca, Francesco Calimeri, Vincenzino Lio, Stefania Galizia |