5,839 followers
#OAarticle from Studia Logica!Progression and Verification of Situation Calculus Agents with Bounded Beliefs https://t.co/ykEVxwcypw
#OAarticle from Studia Logica!Progression and Verification of Situation Calculus Agents with Bounded Beliefs https://t.co/ykEVxwcypw