Algorithmic Knowledge.

Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi

Browse the full TARK paper archive.