Performing conditional strategies in strategic STIT theory
暂无分享,去创建一个
[1] N. Belnap,et al. Facing the Future: Agents and Choices in Our Indeterminist World , 2001 .
[2] Jan M. Broersen,et al. A stit-Logic for Extensive Form Group Strategies , 2009, 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology.
[3] Rohit Parikh,et al. Game Logic - An Overview , 2003, Stud Logica.
[4] Fabio Mogavero. Reasoning About Strategies , 2013, FSTTCS 2013.
[5] Johan van Benthem,et al. Extensive Games as Process Models , 2002, J. Log. Lang. Inf..
[6] J. Benthem. Games in dynamic epistemic logic , 2001 .
[7] James William Forrester,et al. Gentle Murder, or the Adverbial Samaritan , 1984 .
[8] R. Parikh. The logic of games and its applications , 1985 .
[9] Wojciech Jamroga,et al. A logic for strategic reasoning , 2005, AAMAS '05.
[10] J. Horty. Agency and Deontic Logic , 2001 .
[11] Dongmo Zhang,et al. Representing and Reasoning about Game Strategies , 2015, J. Philos. Log..