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) Dates: Saturday March 16th, 2013 and Sunday March 17th, 2013