Ricca, Francesco

13 publications

IJCAI 2025 Are Large Language Models Fluent in Declarative Process Mining? Valeria Fionda, Antonio Ielo, Francesco Ricca

IJCAI 2025 Most Probable Explanation in Probabilistic Answer Set Programming Damiano Azzolini, Giuseppe Mazzotta, Francesco Ricca, Fabrizio Riguzzi

IJCAI 2024 Towards Automatic Composition of ASP Programs from Natural Language Specifications Manuel A. Borroto Santana, Irfan Kareem, Francesco Ricca

AAAI 2022 Compilation of Aggregates in ASP Systems Giuseppe Mazzotta, Francesco Ricca, Carmine Dodaro

IJCAI 2020 Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller

IJCAI 2018 Evaluation Techniques and Systems for Answer Set Programming: A Survey Martin Gebser, Nicola Leone, Marco Maratea, Simona Perri, Francesco Ricca, Torsten Schaub

AAAI 2018 Externally Supported Models for Efficient Computation of Paracoherent Answer Sets Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Francesco Ricca

IJCAI 2017 Generating Hard Random Boolean Formulas and Disjunctive Logic Programs Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski

AAAI 2017 On the Computation of Paracoherent Answer Sets Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca

JAIR 2017 The Sixth Answer Set Programming Competition Martin Gebser, Marco Maratea, Francesco Ricca

AAAI 2016 What's Hot in the Answer Set Programming Competition Martin Gebser, Marco Maratea, Francesco Ricca

IJCAI 2015 A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size Mario Alviano, Carmine Dodaro, Francesco Ricca

IJCAI 2005 Heuristics for Hard ASP Programs Wolfgang Faber, Nicola Leone, Francesco Ricca