The logic of games and its applications
Selected papers of the international conference on "foundations of computation theory" on Topics in the theory of computation
Modal logic
Dynamic Logic
A logic for strategic reasoning
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Alternating-time temporal logic with explicit strategies
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Dynamic restriction of choices: a preliminary logical report
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
Stability under Strategy Switching
CiE '09 Proceedings of the 5th Conference on Computability in Europe: Mathematical Theory and Computational Practice
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A generic constructive solution for concurrent games with expressive constraints on strategies
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
A communication based model for games of imperfect information
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Playing extensive form games in parallel
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Neighbourhood structure in large games
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Dynamic restriction of choices: synthesis of societal rules
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
On the Boundary of Behavioral Strategies
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Hi-index | 0.00 |
Overview. There is now a growing body of research on formal algorithmic models of social procedures and interactions between rational agents. These models attempt to identify logical elements in our day-to-day social activities. When interactions are modeled as games, reasoning involves analysis of agents' long-term powers for influencing outcomes. Agents devise their respective strategies on how to interact so as to ensure maximal gain. In recent years, researchers have tried to devise logics and models in which strategies are "first class citizens", rather than unspecified means to ensure outcomes. Yet, these cover only basic models, leaving open a range of interesting issues, e.g. communication and coordination between players, especially in games of imperfect information. Game models are also relevant in the context of system design and verification. In this article we will discuss research on logic and automata-theoretic models of games and strategic reasoning in multi-agent systems. We will get acquainted with the basic tools and techniques for this emerging area, and provide pointers to the exciting questions it offers.