Dettaglio pubblicazione
2016, STUDIA LOGICA, Pages 705-739 (volume: 104)
Progression and Verification of Situation Calculus Agents with Bounded Beliefs (01a Articolo in rivista)
DE GIACOMO Giuseppe, Lesperance Y., Patrizi Fabio, Vassos Stavros
keywords