1 paper
Richard M. Tong, Lee A. Appelbaum, D. G. Shapiro
The purpose of this paper is to report on the most recent developments in our ongoing investigation of the representation and manipulation of uncertainty in automated reasoning sys…