PPaperPicks

Matteo Mancanelli

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2KR ×1

Frequent coauthors

Giuseppe De Giacomo
×3
Yves Lespérance
×3
Gianmarco Parretti
×1

Papers

  1. Reactive Synthesis for Golog Specifications in the Propositional Situation Calculus
    KR 2026 ·
    Giuseppe De Giacomo
    ,
    Yves Lespérance
    , Matteo Mancanelli,
    Gianmarco Parretti
  2. Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus
    AAAI 2026 ·
    Giuseppe De Giacomo
    ,
    Yves Lespérance
    , Matteo Mancanelli
  3. Situation Calculus Temporally Lifted Abstractions for Generalized Planning
    AAAI 2025 ·
    Giuseppe De Giacomo
    ,
    Yves Lespérance
    , Matteo Mancanelli