征稿已开启

查看我的稿件

注册已开启

查看我的门票

已截止
活动简介
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
征稿信息
留言
验证码 看不清楚,更换一张
全部留言
重要日期
  • 会议日期

    03月16日

    2013

    03月17日

    2013

  • 03月17日 2013

    注册截止日期

主办单位
Sapienza - Universita di Roma
联系方式
移动端
在手机上打开
小程序
打开微信小程序
客服
扫码或点此咨询