Call for Papers
Paper Submission
Accepted Papers

Invited Speakers
People Involved

Visa Info
Tourist Info


Accepted Papers

Our program committee has been pleasantly surprised by the many interesting contributions, covering a large area of research. The selection has been hard. We are happy to announce that the following papers have been accepted by our Workshop:

Belief Revision for Rule-based Agents
Natasha Alechina, Mark Jago and Brian Logan, University of Nottingham, UK.

Quantified Epistemic Logics with Flexible Terms
Francesco Belardinelli and Alessio Lomuscio, Imperial College London, UK.

Modelling Simultaneous Games in Dynamic Logic
Johan van Benthem, Sujata Ghosh and Fenrong Liu, ILLC, University of Amsterdam, The Netherlands.

Dynamic Epistemic Verification of Security Protocols: Framework and Case Study
Francien Dechesne and Yanjing Wang, Centrum voor Wiskunde en Informatica (CWI), The Netherlands.

Local Perspectives on Actions
Michael Fourman, University of Edinburgh, UK.

Strategy Logics and the Game Description Language
Wiebe van der Hoek, Ji Ruan and Michael Wooldridge, Liverpool University, UK.

Game-theoretical Semantics for Many-valued Logics
Shier Ju, Xuefeng Wen and Xihua Dai, Sun Yat-sen University, Guangzhou, China.

The Meaning of a Cryptographic Message via Hypothetical Knowledge and Provability
Simon Kramer, Ecole Polytechnique Fédérale de Lausanne (EPFL), Switzerland.

Dynamic Term-Modal Logic
Barteld Kooi, University of Groningen, The Netherlands.

Aggregation of Ranking Judgements and Arrow's Theorem
Daniele Porello, University of Genova, Italy.

Belief Merging based on Adaptive Interaction
Giuseppe Primiero, Ghent University, Belgium.

The Relative Expressivity of Public and Private Communication in BMS Logic
Bryan Renne, CUNY Graduate Center, US.

Model Checking Problem for Knowledge of acting Agents with log-files
Nikolay Shilov and Natalia Garanina, A. P. Ershov Institute of Informatics Systems, Russia.

Planned Changes of Desire
Katie Steele, University of Sydney, Australia.

The Selection of Stable Outcomes of a Coalitional Voting Game by a Social Choice Correspondence
Bertrand Tchantcho and Lawrence Diffo Lambo, Department of Mathematics-Ecole Normale Superieure-University of Yaounde I, Cameroon.

Defeasible Reasoning Meets Epistemic Possibilities
Linton Wang and Wen-Fang Wang, Chung Cheng University, Taiwan.

Logical Dynamics of Some Speech Acts that Affect Obligations and Preferences
Tomoyuki Yamada, Hokkaido University, Japan.

A Preference Logic of Varying Kinds of Preferences
Zhizheng Zhang and Hancheng Xing, Shool of Computer Science and Engineering, Southeast University, Nanjing, China.

On the Principle of Intention Agglomeration
Jing Zhu, Sun Yat-sen University; Dingzhou Fei, Wuhan University, China.

How to Keep on Changing your Mind, Dynamically
Jonathan Zvesper, ILLC, University of Amsterdam, The Netherlands.

ILLC Universiteit van Amsterdam ILC Sun Yat-sen University

last modified on Sunday, 20-May-2007 9:31:40 CEST (Fenrong)