6. TARK 1996: De Zeeuwse Stromen, The Netherlands

Knowledge-Based Programs

Imperfect Recall

Belief Change

Common Knowledge

maintained by Schloss Dagstuhl LZI at University of Trier