Additional Metadata
THEME Other (theme 6)
Conference Logic, Language and Computation at UvA
Citation
van Eijck, D.J.N. (2014). Knowledge, Belief, Probabilities, Updates, Model Checking.