Author:Rens, GB; Varzinczak, IJDate:Dec 2009The authors are developing a new logic (DyMoDeL) for reasoning about dynamic agents with stochastic action, partial observation, knowledge-of and degree-of-belief-in a state of affairs. Development of the syntax and semantics is almost complete, ...Read more