arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1303.0071cs.GTcs.LOcs.MA
收藏

第一届战略推理国际研讨会论文集

Proceedings 1st International Workshop on Strategic Reasoning

Fabio Mogavero, Aniello Murano, Moshe Y. Vardi

摘要:

本卷包含2013年3月16日至17日在罗马(意大利)举行的第一届战略推理国际研讨会(SR 2013)的会议记录。SR研讨会的目的是汇集研究人员,可能具有不同的背景,工作在计算机科学的战略推理的各个方面,从理论和实践的角度来看。今年,SR已经举办了四次杰出的邀请演讲,分别是Krishnendu Chatterjee,Alessio R。Lomuscio,Jean-Francois Raskin,and Michael Wooldridge.此外,项目委员会从提交的23篇论文中选出了13篇。几乎所有这些文件都经过三次审查修订,并根据质量和与研讨会专题的相关性选择了所提供的文件。

英文摘要:

This volume contains the proceedings of the 1st International Workshop on Strategic Reasoning 2013 (SR 2013), held in Rome (Italy), March 1617, 2013. The SR workshop aims to bring together researchers, possibly with different backgrounds, working on various aspects of strategic reasoning in computer science, both from a theoretical and a practical point of view. This year SR has hosted four outstanding invited talks by Krishnendu Chatterjee, Alessio R. Lomuscio, Jean-Francois Raskin, and Michael Wooldridge. Moreover, the program committee selected 13 papers among the 23 contributions submitted. Almost all of them have been revised by three reviews and the contributions have been selected according to quality and relevance to the topics of the workshop.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑