Joseph Y. Halpern, Riccardo Pucella. Probabilistic algorithmic knowledge. In Joseph Y. Halpern, Moshe Tennenholtz, editors, Proceedings of the 9th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2003), Bloomington, Indiana, USA, June 20-22, 2003. pages 118-130, ACM, 2003. [doi]
Abstract is missing.