Joseph Y. Halpern Riccardo Pucella A Logic for Reasoning about Evidence. 1-34 2006 26 J. Artif. Intell. Res. (JAIR) http://www.jair.org/papers/paper1838.html db/journals/jair/jair26.html#HalpernP06