Accepted Papers with full presentation


  • Giacomo Bonanno. AGM belief revision in dynamic games
  • Sara Miner More, Pavel Naumov, Brittany Nicholls and Andrew Yang. A Ternary Knowledge Relation on Secrets
  • Horacio Arlo-Costa and Hailin Liu. Value-based Contraction: A Representation Result
  • Hans Van Ditmarsch, Sujata Ghosh, Rineke Verbrugge and Yanjing Wang. Hidden Protocols
  • Andreas Witzel. Perfect recall of imperfect knowledge
  • Sander Heinsalu. Equivalence of the information structure with unawareness to the logic of awareness
  • Amir Ban and Nati Linial. The Dynamics of Reputation Systems
  • Noga Alon, Felix Fischer, Ariel Procaccia and Moshe Tennenholtz. Sum of Us: Strategyproof Selection from the Selectors
  • Tobias Harks and Max Klimm. Congestion Games with Variable Demands
  • Soumya Paul and R. Ramanujam. Neighbourhood structure in large games
  • Adam Dominiak and Jean-Philippe Lefort. Agreeing to Disagree Type Results under Ambiguity
  • Felix Brandt and Markus Brill. Necessary and Sufficient Conditions for the Strategyproofness of Irresolute Social Choice Functions
  • Cédric Dégremont, Benedikt Löwe and Andreas Witzel. The synchronicity of dynamic epistemic logic
  • Yann Chevaleyre, Jérôme Lang, Nicolas Maudet and Jerome Monnot. Compilation and communication protocols for voting rules with a dynamic set of candidates
  • Ido Ben Zvi and Yoram Moses. Known Unknowns: Time bounds and Knowledge of Ignorance
  • D. Marc Kilgour, Steven J. Brams and Todd R. Kaplan. Three Procedures for Inducing Honesty in Bargaining
  • Xiaowei Huang, Cheng Luo and Ron Van Der Meyden. Symbolic Model Checking of Probabilistic Knowledge
  • Alexandru Baltag, Nina Gierasimczuk and Sonja Smets. Belief Revision as a Truth-Tracking Process

Posters

  • Luca Aceto, Wiebe Van Der Hoek, Anna Ingolfsdottir and Joshua Sack. Sigma Algebras in Probabilistic Epistemic Dynamics
  • Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable and Toby Walsh. Weights in stable marriage problems increase manipulation opportunities
  • Barteld Kooi and Bryan Renne. Generalized Arrow Update Logic
  • Floor Sietsma and Jan van Eijck. Message Passing in a Dynamic Epistemic Logic Setting.
  • Adam Bjorndahl, Joseph Halpern and Rafael Pass. Reasoning About Justified Belief
  • Piotr Faliszewski, Edith Hemaspaandra and Lane A. Hemaspaandra. The Complexity of Manipulative Attacks in Nearly Single-Peaked Electorates
  • Jerome Lang, Gabriella Pigozzi, Marija Slavkovik and Leon Van Der Torre. Judgment aggregation rules based on minimization
  • Omar Al-Bataineh and Ron Van Der Meyden. Abstraction for Epistemic Model Checking of Dining-Cryptographers based Protocols
  • Nina Gierasimczuk and Jakub Szymanik. A Note on a Generalization of the Muddy Children Puzzle