Epistemic actions ; Games ; Dynamic logic ; Epistemic logic ; Information update ; Belief change ; Distributed systems ; Learning ; Communication;
机译:隐私,灵巧的认知行为逻辑和软件代理
机译:Tableaux用于将命题动态逻辑和认知逻辑与相互作用相结合
机译:通过认知模态逻辑进行系统工程知识的正式推理
机译:无挡板篮球性能分析的软件工程方法:自动选择球员位置的训练和活动功能
机译:实时大型多人在线游戏的网络软件体系结构。
机译:可疑玩家的逻辑:游戏中的认知行为和信念更新
机译:参数化Endofunctors的余代数和模态逻辑。软件工程(sEN)。