Progression and Verification of Situation Calculus Agents with Bounded Beliefs

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]

Abstract

Abstract is missing.