2014
Knowledge, Belief, Probabilities, Updates, Model Checking
Publication
Publication
Presented at the
Logic, Language and Computation at UvA, Amsterdam
Additional Metadata | |
---|---|
Logic, Language and Computation at UvA | |
Organisation | Software Analysis and Transformation |
van Eijck, J. (2014). Knowledge, Belief, Probabilities, Updates, Model Checking. |