CLIMA XII 2011: Barcelona, Spain

Secrets and Trust

Knowledge and Beliefs

Logics for Games and Social Choice

Cooperation

Logic and Languages

Norms and Normative Multi-agent Systems

a service of Schloss Dagstuhl - Leibniz Center for Informatics