no code implementations • 26 Apr 2022 • Daxin Liu, Gerhard Lakemeyer
In this paper, we propose a formalism for belief programs based on a modal logic of actions and beliefs.