4th International Workshop on Strategic Reasoning

Satellite Workshop of LICS 2016

10 July 2016, Columbia University (Mudd Building)

New York City, USA

Strategic reasoning is one of the most active research areas in multi-agent system domain. The literature in this field is extensive and provides a plethora of logics for modelling strategic ability. Theoretical results are now being used in many exciting domains, including software tools for information system security, robot teams with sophisticated adaptive strategies, and automatic players capable of beating expert human adversaries, just to cite a few. All these examples share the challenge of developing novel theories and tools for agent-based reasoning that take into account the likely behaviour of adversaries. The SR international workshop aims to bring together researchers working on different aspects of strategic reasoning in computer science, both from a theoretical and a practical point of view.

The proceedings of the workshop were published as volume 218 in EPTCS.