Call for Papers
Instructions for authors
Important Dates
Invited Speakers
Accepted Papers
Program committee
Organizing committee

Contributed papers
  • Thomas Agotnes, Paul Harrenstein, Wiebe van der Hoek and Michael Wooldridge. Boolean Games with Epistemic Goals
  • Natasha Alechina, Fenrong Liu and Brian Logan. Minimal preference change
  • Alexandru Baltag, Nick Bezhanishvili, Aybuke Ozgun and Sonja Smets. The Topology of Belief, Belief Revision and Defeasible Knowledge
  • Zo¨¦ Christoff and Jens Ulrik Hansen. A two-tiered formalization of social influence
  • Ka-Fat Chow. A Semantic Model for Interrogatives based on Generalized Quantifiers and Bilattices
  • Jianying Cui and Xudong Luo. A Unified Epistemic Analysis of Iterated Elimination Algorithms from Regret Viewpoint
  • Hans van Ditmarsch, Andreas Herzig, Emiliano Lorini and Francois Schwarzentruber. Listen to me! Public announcements to agents that pay attention - or not
  • Norbert Gratzl. Sequent calculi for multi-modal logic with interaction
  • Giuseppe Greco, Alexander Kurz and Alessandra Palmigiano. Dynamic Epistemic Logic Displayed
  • Valentin Goranko and Paolo Turrini. An offer you cannot refuse: obtaining efficiency and fairness in preplay negotiation games with conditional offers
  • Kristine Harjes and Pavel Naumov. Cellular Games, Nash Equilibria, and Fibonacci Numbers
  • Andreas Herzig, Emiliano Lorini and Dirk Walther. Reasoning about actions meets strategic logics
  • Hsiang-Yun Chen. Plan recognition, indefinites, and the semantics-pragmatics boundary
  • Fengkui Ju and Li Liang. A Dynamic Deontic Logic Based on Histories
  • Louwe B. Kuijer. Sequent systems for nondeterministic propositional logics without reflexivity
  • Katsuhiko Sano and Minghui Ma. How to Update Neighborhood Models
  • Jeremy Seligman and Guo Meiyun. The logic of a priori and a posteriori rationality in strategic games
  • Xin Sun. Proof Theory, Semantics and Algebra for Normative Systems
  • Fernando R. Vel¨¢zquez-Quesada. Explicit and Implicit Knowledge in Neighbourhood Models
  • Fernando R. Vel¨¢zquez-Quesada. Expressivity hierarchy of languages for epistemic awareness models
  • Y¨¬ N. W¨¢ng and Thomas Agotnes. Public Announcements, Private Actions and Common Knowledge in S5 Structures
  • Xuefeng Wen and Hu Liu. From Logical Aggregation to Aggregation of Logics
  • Qiaoting Zhong, Xudong Luo, Frans van Eemeren and Fan Huang. The Task Model of Court Investigation in a Multi-agent System of Argumentation in Court
Poster presentations
  • Huimin Dong and Xiaowu Li. A Deontic Action Logic for Complex Actions
  • Martin Holm Jensen. Planning using Dynamic Epistemic Logic: Correspondence and Complexity
  • Chanjuan Liu, Fenrong Liu and Kaile Su. A Logic for Extensive Games with Short Sight
  • Yang Liu. Bayesian Games with Epistemic Quantifications
  • Guifei Jiang, Dongmo Zhang and Xiaojia Tang. Judgment Aggregation with Abstentions: a Hierarchical Approach
  • Rasmus K. Rendsvig. A Qualitative Model of Informational Cascades
  • Ben Rodenhauser. Dynamic Attitudes, Fixed Points and Minimal Change
  • Chenwei Shi. Logic of Evidence-Based Knowledge
  • Jakub Szymanik. Backward Induction is PTIME-complete
  • Shengli Zhang. On Fuzzy Propositional Logic with Different Negations


Paper submission: June 1, 2013
Deadline Exetnded to June 7, 2013
Notification of acceptance: July 1, 2013
Camera ready version: July 16, 2013
Conference dates: October 9 - 12, 2013


Last Updated by Haibo Xu, Aug.27,2013