Matteo Mancanelli

2 papers · 2025–2026 · 1 conference · across top CS/AI conferences

Achievements

🌉 Interdisciplinary Bridge 🐝 Cross-Pollinator (11)

Conferences

AAAI (2)

Top co-authors

Yves Lespérance (2) Giuseppe De Giacomo (2)

Keywords

situation calculus (2) strategic reasoning (1) temporal logic (1) generalized planning (1) plan synthesis (1) refinement mapping (1) program synthesis (1) agent program (1)

Papers

Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus AAAI 2026

Situation Calculus Temporally Lifted Abstractions for Generalized Planning AAAI 2025