Francesco Ricca

Venues

Frequent coauthors

Papers

1. 2-ASP(Q) Solving Based on CEGAR
   AAAI 2026 ·

   Andrea Cuteri

   DBLP profile ↗ORCID search ↗
2. Computing Syntax Tree-based Minimal Unsatisfiable Cores of LTLf Formulas
   AAAI 2026 ·

   Valeria Fionda

   DBLP profile ↗ORCID search ↗
3. Enumerating Minimal Unsatisfiable Cores of LTLf Formulae
   AAAI 2026 ·

   Antonio Ielo

   DBLP profile ↗ORCID search ↗
4. Probabilistic Reasoning within Answer Set Programming with Quantifiers
   KR 2026 ·

   Damiano Azzolini

   DBLP profile ↗ORCID search ↗
5. A Novel Framework for Reasoning over Optimization Problems in Probabilistic Answer Set Programming
   KR 2025 ·

   Damiano Azzolini

   DBLP profile ↗ORCID search ↗
6. An Algebraic View of MAP Inference in Probabilistic Answer Set Programs
   ECAI 2025 ·

   Damiano Azzolini

   DBLP profile ↗ORCID search ↗
7. Are Large Language Models Fluent in Declarative Process Mining?
   IJCAI 2025 ·

   Valeria Fionda

   DBLP profile ↗ORCID search ↗
8. Most Probable Explanation in Probabilistic Answer Set Programming
   IJCAI 2025 ·

   Damiano Azzolini

   DBLP profile ↗ORCID search ↗
9. Blending Grounding and Compilation for Efficient ASP Solving
   KR 2024 ·

   Carmine Dodaro

   DBLP profile ↗ORCID search ↗
10. LLASP: Fine-tuning Large Language Models for Answer Set Programming
    KR 2024 ·

    Erica Coppolillo

    DBLP profile ↗ORCID search ↗
11. Towards Automatic Composition of ASP Programs from Natural Language Specifications
    IJCAI 2024 ·

    Manuel A. Borroto Santana

    DBLP profile ↗ORCID search ↗