第四届国际策略推理研讨会论文集
计算机科学中的逻辑
2016-07-12 v1
摘要
本卷包含了 2016 年 7 月 10 日在美国纽约市举行的第四届国际策略推理研讨会 (SR 2016) 的论文集。该研讨会包含 2 场主题演讲和 9 场投稿报告，主题涵盖逻辑、验证、博弈与均衡。关于策略研讨会系列的更多信息请访问 http://www.strategicreasoning.net/。
引用
@article{arxiv.1607.02694,
title = {Proceedings of the 4th International Workshop on Strategic Reasoning},
author = {Alessio Lomuscio and Moshe Y. Vardi},
journal= {arXiv preprint arXiv:1607.02694},
year = {2016}
}