SR 2013 - 1st International Workshop on Strategic Reasoning (SR)

Strategic reasoning is one of the most active research area in multi-agent system domain. The literature in this field is extensive and provides a plethora of logics for modeling strategic ability. Theoretical results in this area 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 adversary, to cite a few. All these examples share the challenge of developing novel theories and tools for agent strategies that take into account the likely behavior of adversaries.
This workshop aims to bring together researchers working on different aspects of strategic reasoning, both from a theoretical and a practical point of view.
The topics covered by the conference include, but are not limited to, the following:
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 sinthesis
Strategic reasoning under perfect and imperfect information
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 reasonings
Aniello Murano (Univ of Napoli Federico II, Naples, Italy)
Fabio Mogavero (Univ of Napoli Federico II, Naples, Italy)
Moshe Y. Vardi (Rice University, Houston, USA)