Pubblicazioni

Progression and Verification of Situation Calculus Agents with Bounded Beliefs

2016 - STUDIA LOGICA
DE GIACOMO, Giuseppe; Lesperance, Y.; Patrizi, Fabio; Vassos, Stavros

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma