Publication not explained
This publication has not yet been explained in plain language by the author(s). However, you can still read the publication.
If you are one of the authors, claim this publication so you can create a plain langauage summary to help more people find, understand and use it.
Read the Original
This page is a summary of: Progression and Verification of Situation Calculus Agents with Bounded Beliefs, Studia Logica, September 2015, Springer Science + Business Media, DOI: 10.1007/s11225-015-9626-z.
You can read the full text:
Be the first to contribute to this page