HomeZJU EventsInvited TalksThomas Ågotnes: Reasoning about Knowledge