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
Gruppo di ricerca: Artificial Intelligence and Knowledge Representation
keywords