conftrace_

Matteo Mancanelli

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

Achievements

Jump to papers ↓

🌉 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