Deriving epistemic conclusions from agent architecture.

Stephen Chong, Ron van der Meyden

Browse the full TARK paper archive.