PPaperPicks

Enrico Giunchiglia

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×3KR ×2IJCAI ×1

Frequent coauthors

Matteo Cardellini
×5
Marco Maratea
×2
Martin Gebser
×1
Marco Mochi
×1
Davide Anguita
×1
Carmelo Lofiego
×1
Luca Oneto
×1
Pietro Ratto
×1

Papers

  1. A Simple Proof-Theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments (Abstract Reprint)
    AAAI 2026 ·
    Martin Gebser
    , Enrico Giunchiglia,
    Marco Maratea
    ,
    Marco Mochi
  2. Optimal In-Station Train Dispatching via Symbolic Pattern Planning
    KR 2026 ·
    Matteo Cardellini
    , Enrico Giunchiglia,
    Davide Anguita
    ,
    Carmelo Lofiego
    ,
    Luca Oneto
    ,
    Pietro Ratto
  3. Pushing the Envelope in Numeric Pattern Planning
    KR 2025 ·
    Matteo Cardellini
    , Enrico Giunchiglia
  4. Rolling in Classical Planning with Conditional Effects and Constraints
    IJCAI 2025 ·
    Matteo Cardellini
    , Enrico Giunchiglia
  5. Temporal Numeric Planning with Patterns
    AAAI 2025 ·
    Matteo Cardellini
    , Enrico Giunchiglia
  6. Symbolic Numeric Planning with Patterns
    AAAI 2024 ·
    Matteo Cardellini
    , Enrico Giunchiglia,
    Marco Maratea