Sunil Simon

According to our database1, Sunil Simon authored at least 27 papers between 2008 and 2020.

Collaborative distances:



In proceedings 
PhD thesis 


Online presence:



Analysis of Agricultural Policy Recommendations using Multi-Agent Systems.
CoRR, 2020

Coordination Games on Weighted Directed Graphs.
CoRR, 2019

Reasoning about Social Choice and Games in Monadic Fixed-Point Logic.
Proceedings of the Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, 2019

Graphical One-Sided Markets.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Coordination games on graphs.
Int. J. Game Theory, 2017

Synchronisation Games on Hypergraphs.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Constrained Pure Nash Equilibria in Polymatrix Games.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

Paradoxes in social networks with multiple products.
Synth., 2016

Efficient Local Search in Coordination Games on Graphs.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Automata and Compositional Strategies in Extensive Form Games.
Proceedings of the Models of Strategic Reasoning - Logics, Games, and Communities, 2015

Social network games.
J. Log. Comput., 2015

Coordination Games on Directed Graphs.
Proceedings of the Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2015

Coordination Games on Graphs.
CoRR, 2015

Coordination Games on Graphs (Extended Abstract).
Proceedings of the Web and Internet Economics - 10th International Conference, 2014

Social Network Games with Obligatory Product Selection
Proceedings of the Proceedings Fourth International Symposium on Games, 2013

Choosing Products in Social Networks.
Proceedings of the Internet and Network Economics - 8th International Workshop, 2012

A Classification of Weakly Acyclic Games.
Proceedings of the Algorithmic Game Theory - 5th International Symposium, 2012

Modelling Cryptographic Keys in Dynamic Epistemic Logic with DEMO.
Proceedings of the Highlights on Practical Applications of Agents and Multi-Agent Systems, 2012

Reasoning with Protocols under imperfect Information.
Rev. Symb. Log., 2011

Reflections on Vote Manipulation.
Proceedings of the Logic, Rationality, and Interaction - Third International Workshop, 2011

A Communication Based Model for Games of Imperfect Information.
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

Playing Extensive Form Games in Parallel.
Proceedings of the Computational Logic in Multi-Agent Systems, 11th International Workshop, 2010

Dynamic restriction of choices: a preliminary logical report.
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), 2009

Nash Equilibrium in Generalised Muller Games.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2009

Stability under Strategy Switching.
Proceedings of the Mathematical Theory and Computational Practice, 2009

Dynamic Logic on Games with Structured Strategies.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Structured strategies in games on graphs.
Proceedings of the Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas]., 2008