Matteo Mancanelli — accepted AI-conference papers

2026

Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus

Giuseppe De Giacomo, Yves Lesperance, Matteo Mancanelli

AAAI 2026technical

We investigate the problem of synthesizing strategies that guarantee the successful execution of a high-level nondeterministic agent program in Golog within a nondeterministic first-order basic action theory, considering the environment as adversarial. Our approach constructs a symbolic program grap

Cited by 0 Source ↗PDF ↗Scholar ↗

2025

Situation Calculus Temporally Lifted Abstractions for Generalized Planning

Giuseppe de Giacomo, Yves Lespérance, Matteo Mancanelli

AAAI 2025technical

We present a new formal framework for generalized planning (GP) based on the situation calculus extended with LTL constraints. The GP problem is specified by a first-order basic action theory whose models are the problem instances. This low-level theory is then abstracted into a high-level propositi…

Cited by 0 Source ↗PDF ↗Scholar ↗