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

Valeria Fionda
DBLP profile ↗ORCID search ↗
×2

Papers

  1. Computing Syntax Tree-based Minimal Unsatisfiable Cores of LTLf Formulas
    AAAI 2026 ·
    Valeria Fionda
    DBLP profile ↗ORCID search ↗
  2. Enumerating Minimal Unsatisfiable Cores of LTLf Formulae
    AAAI 2026 · Antonio Ielo
  3. Are Large Language Models Fluent in Declarative Process Mining?
    IJCAI 2025 ·
    Valeria Fionda
    DBLP profile ↗ORCID search ↗