A Quantitative Method for Reasoning about Knowledge | IEEE Conference Publication | IEEE Xplore