2014
Belief, Probabilities, Updates, and Model Checking
Publication
Publication
Presented at the
Workshop on The Logical Dynamics of Information, Agency and Interaction, Amsterdam
Additional Metadata | |
---|---|
Workshop on The Logical Dynamics of Information, Agency and Interaction | |
Organisation | Software Analysis and Transformation |
van Eijck, J. (2014). Belief, Probabilities, Updates, and Model Checking. |