Other (theme 6)
Workshop on The Logical Dynamics of Information, Agency and Interaction
Software Analysis and Transformation

van Eijck, D.J.N. (2014). Belief, Probabilities, Updates, and Model Checking.