6. TARK 1996: De Zeeuwse Stromen, The Netherlands

Knowledge-Based Programs

Imperfect Recall

Belief Change

Common Knowledge