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
DBLP profile ↗ORCID search ↗
×3

Papers

  1. Reactive Synthesis for Golog Specifications in the Propositional Situation Calculus
    KR 2026 ·
    Giuseppe De Giacomo
    DBLP profile ↗ORCID search ↗
  2. Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus
    AAAI 2026 ·
    Giuseppe De Giacomo
    DBLP profile ↗ORCID search ↗
  3. Situation Calculus Temporally Lifted Abstractions for Generalized Planning
    AAAI 2025 ·
    Giuseppe De Giacomo
    DBLP profile ↗ORCID search ↗