4th International Workshop on Strategic Reasoning(SR 2016)
When : 2016-07-09
Where : New York
Submission Deadline : 2016-04-18
Categories : Computer Science & Information Technology , Multimedia, Computer Graphics & Animation
4th International Workshop on Strategic Reasoning(SR 2016)
Jul 9, 2016 - Jul 10, 2016
New York
Call For Papers
Strategic reasoning is a key topic in the multi-agent systems research
area. The literature in this field is extensive and includes a variety
of logics used for reasoning about the strategic abilities of the agents
in the system. Results stemming from this research have been used in a
wide range of applications, including robotic teams endowed with
adaptive strategies, and automatic players capable of beating expert
human adversaries. A common feature in all these domains is the
requirement for sound theoretical foundations and tools accounting for
the strategies that agents may adopt in the presence of adversaries.
The SR international workshop series 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.
Topics
Logics for reasoning about strategic abilities;Logics for multi-agent mechanism design, verification, and synthesis;
Logical foundations of decision theory for multi-agent systems;
Strategic reasoning in formal verification;
Automata theory for strategy synthesis;
Applications and tools for cooperative and adversarial reasoning;
Robust planning and optimization in multi-agent systems;
Risk and uncertainty in multi-agent systems;
Quantitative aspects in strategic reasoning.