Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Stavros Vassos. Progression and Verification of Situation Calculus Agents with Bounded Beliefs. Studia Logica, 104(4):705-739, 2016. [doi]
No references recorded for this publication.
No citations of this publication recorded.