Selected Publications

• Graphical One-Sided Markets
  Sagar Massand and Sunil Simon
  Proc. of the Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI), pages 492 - 498, AAAI Press, 2019.
  

• Reasoning about Social Choice and Games in Monadic Fixed-Point Logic
  Ramit Das, R. Ramanujam and Sunil Simon
  Proc. of the Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK), 2019.
  

• Synchronisation Games on Hypergraphs
  Sunil Simon and Dominik Wojtczak
  Proc. of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI), pages 402 - 408, AAAI Press, 2017.
  

• Constrained Nash Equilibria in Polymatrix Games
  Sunil Simon and Dominik Wojtczak
  Proc. of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI), pages 691 - 697, AAAI Press, 2017.
  

• Coordination Games on Graphs
  K.R. Apt, B. de Keijzer, M. Rahn, G. Schaefer and S. Simon
  International Journal of Game Theory, Springer, 2016.
  DOI:10.1007/s00182-016-0560-8

• Efficient Local Search in Coordination Games on Graphs
  Sunil Simon and Dominik Wojtczak
  Proc. of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI), pages 482 - 488, AAAI Press, 2016.
  

• Paradoxes in Social Networks with Multiple Products
  Krzysztof Apt, Evangelos Markakis and Sunil Simon
  Synthese, Springer, 2015.
  DOI:10.1007/s11229-015-0864-4
  

• Coordination Games on Directed Graphs
  Krzysztof Apt, Sunil Simon and Dominik Wojtczak
  Proc. of the Fifteenth conference on Theoretical Aspects of Rationality and Knowledge (TARK), EPTCS 215, pages 67 - 80, 2016.
  

• A Classification of Weakly Acyclic Games
  Krzysztof Apt and Sunil Simon
  Theory and Decision, volume 78(4), pages 501-524, Springer, 2015.
  DOI:10.1007/978-3-642-33996-7_1
  

• Social Network Games
  Krzysztof Apt and Sunil Simon
  Journal of Logic and Computation, volume 25(1), pages 207-242, Oxford University Press, 2015.
  DOI:10.1093/logcom/ext012
  

• Coordination Games on Graphs
  K.R. Apt, M. Rahn, G. Schaefer and S. Simon
  Proc. of the 10th Conference on Web and Internet Economics (WINE 2014), LNCS 7695, pages 441-446, Springer, 2014.
  

• Social Network Games with Obligatory Product Selection
  Krzysztof Apt and Sunil Simon
  Proc. of International Symposium on Games, Automata, Logics and Formal Verification (Gandalf 2013), EPTCS volume 119, pages 180-193, 2013.
  DOI:10.4204/EPTCS.119.16
  

• Choosing products in social networks
  Krzysztof Apt and Sunil Simon
  Proc. Workshop on Internet and Network Economics (WINE 2012), LNCS 7695, pages 100-113, Springer 2012.
  

• A classification of weakly acyclic games
  Krzysztof Apt and Sunil Simon
  Proc. International Symposium on Algorithmic Game Theory (SAGT 2012), LNCS 7615, pages 1-12, Springer, 2012.
  

• Reasoning with protocols under imperfect information
  E. Pacuit and Sunil Simon
  The Review of Symbolic Logic, volume 4, pages 412-444, 2011.
  

• Reflections on vote manipulation
  Jan van Eijck, Floor Sietsma and Sunil Simon
  Proceedings of Logic, Rationality and Interaction, LNCS 6953, pages 386-387, Springer 2011.
  

• A communication based model for games of imperfect information
  R. Ramanujam and Sunil Simon
  Proceedings of the 21st International Conference on Concurrency Theory (CONCUR 2010), LNCS 6269, pages 509-523, Springer, 2010.
  

• Playing extensive form games in parallel
  Sujata Ghosh, R. Ramanujam and Sunil Simon
  Proc. 11th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XI), LNAI 6245, pages 153-170, Springer, 2010.
  

• Nash equilibrium in generalised Muller games
  Soumya Paul and Sunil Simon
  Proceedings of the 29th Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2009), pages 335-346, 2009.
  

• Dynamic restriction of choices: a preliminary logical report
  Soumya Paul, R. Ramanujam and Sunil Simon
  Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), pages 218-226, 2009.
  

• Stability under Strategy Switching
  Soumya Paul, R. Ramanujam and Sunil Simon
  Proceedings of the 5th Conference on Computability in Europe (CiE 2009), LNCS 5635, pages 389-398, Springer, 2009.
  

• Dynamic Logic on Games with Structured Strategies
  R. Ramanujam and Sunil Simon
  Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR-08), pages 49-58, AAAI Press, 2008.
  A companion article for normal form games.

• Reasoning in Games
  R. Ramanujam and Sunil Simon
  Logic, Navya-Nyaya & Applications. Studies in Logic, volume 15, pages 261-286, College Publications, London, 2008.

• A Logical Structure for Strategies
  R. Ramanujam and Sunil Simon
  Logic and the Foundations of Game and Decision Theory (LOFT 7), Texts in Logic and Games, volume 3, pages 183-208, Amsterdam University Press, 2008.
  An earlier version of this article appeared in the Proc. of LOFT06 .

• Axioms for Composite Strategies
  R. Ramanujam and Sunil Simon
  Proceedings of 7th Conference on Logic and the Foundations of Game and Decision Theory (LOFT06), pages 189-198, 2006.