Francesco Ricca

11 papers at tracked venues · 3 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

KR ×4 AAAI ×3 IJCAI ×3 ECAI ×1

Frequent coauthors

Giuseppe Mazzotta

×7

Damiano Azzolini

×4

Antonio Ielo

×3

Fabrizio Riguzzi

×3

Valeria Fionda

×2

Andrea Cuteri

×1

Rafael Peñaloza

×1

Carmine Dodaro

×1

Erica Coppolillo

×1

Francesco Calimeri

×1

Giuseppe Manco

×1

Simona Perri

×1

Papers

2-ASP(Q) Solving Based on CEGAR
AAAI 2026 ·
Andrea Cuteri
,
Giuseppe Mazzotta
, Francesco Ricca
Computing Syntax Tree-based Minimal Unsatisfiable Cores of LTLf Formulas
AAAI 2026 ·
Valeria Fionda
,
Antonio Ielo
, Francesco Ricca
Enumerating Minimal Unsatisfiable Cores of LTLf Formulae
AAAI 2026 ·
Antonio Ielo
,
Giuseppe Mazzotta
,
Rafael Peñaloza
, Francesco Ricca
Probabilistic Reasoning within Answer Set Programming with Quantifiers
KR 2026 ·
Damiano Azzolini
,
Giuseppe Mazzotta
, Francesco Ricca
A Novel Framework for Reasoning over Optimization Problems in Probabilistic Answer Set Programming
KR 2025 ·
Damiano Azzolini
,
Giuseppe Mazzotta
, Francesco Ricca,
Fabrizio Riguzzi
An Algebraic View of MAP Inference in Probabilistic Answer Set Programs
ECAI 2025 ·
Damiano Azzolini
,
Giuseppe Mazzotta
, Francesco Ricca,
Fabrizio Riguzzi
Are Large Language Models Fluent in Declarative Process Mining?
IJCAI 2025 ·
Valeria Fionda
,
Antonio Ielo
, Francesco Ricca
Most Probable Explanation in Probabilistic Answer Set Programming
IJCAI 2025 ·
Damiano Azzolini
,
Giuseppe Mazzotta
, Francesco Ricca,
Fabrizio Riguzzi
Blending Grounding and Compilation for Efficient ASP Solving
KR 2024 ·
Carmine Dodaro
,
Giuseppe Mazzotta
, Francesco Ricca
LLASP: Fine-tuning Large Language Models for Answer Set Programming
KR 2024 ·
Erica Coppolillo
,
Francesco Calimeri
,
Giuseppe Manco
,
Simona Perri
, Francesco Ricca
Towards Automatic Composition of ASP Programs from Natural Language Specifications
IJCAI 2024 ·
Manuel A. Borroto Santana
,
Irfan Kareem
, Francesco Ricca