Progression and Verification of Situation Calculus Agents with Bounded Beliefs

Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Stavros Vassos
  • Studia Logica, September 2015, Springer Science + Business Media
  • DOI: 10.1007/s11225-015-9626-z

The authors haven't yet claimed this publication.

Read Publication

http://dx.doi.org/10.1007/s11225-015-9626-z

In partnership with: