Probabilistic algorithmic knowledge (2003)

by J Y Halpern, R Pucella
Venue:In Proc. 9th Conference on Theoretical Aspects of Rationality and Knowledge (TARK’03