6th TARK 1996: De Zeeuwse Stromen, The Netherlands

Knowledge-Based Programs

Imperfect Recall

Belief Change

Common Knowledge

a service of Schloss Dagstuhl - Leibniz Center for Informatics