Salta al contenuto principale
Ricerc@Sapienza
Toggle navigation
Home
Login
Home
Pubblicazioni
"Progression"
"Situation calculus"
Pubblicazioni
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