Benoit Gaudou, Andreas Herzig, Emiliano Lorini, Christophe Sibertin-Blanc. How to Do Social Simulation in Logic: Modelling the Segregation Game in a Dynamic Logic of Assignments. In Daniel Villatoro, Jordi Sabater-Mir, Jaime Simão Sichman, editors, Multi-Agent-Based Simulation XII - International Workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers. Volume 7124 of Lecture Notes in Computer Science, pages 59-73, Springer, 2011. [doi]
Abstract is missing.