PPaperPicks

Antonio Ielo

3 papers at tracked venues · 2 at CORE A* · active 2025–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2IJCAI ×1

Frequent coauthors

Francesco Ricca
×3
Valeria Fionda
×2
Giuseppe Mazzotta
×1
Rafael Peñaloza
×1

Papers

  1. Computing Syntax Tree-based Minimal Unsatisfiable Cores of LTLf Formulas
    AAAI 2026 ·
    Valeria Fionda
    , Antonio Ielo,
    Francesco Ricca
  2. Enumerating Minimal Unsatisfiable Cores of LTLf Formulae
    AAAI 2026 · Antonio Ielo,
    Giuseppe Mazzotta
    ,
    Rafael Peñaloza
    ,
    Francesco Ricca
  3. Are Large Language Models Fluent in Declarative Process Mining?
    IJCAI 2025 ·
    Valeria Fionda
    , Antonio Ielo,
    Francesco Ricca