机译:合作,知识和时间:时空时间认知逻辑及其应用
Department of Computer Science University of Liverpool;
Department of Computer Science University of Liverpool;
Cooperation logic; epistemic logic; game theory; model checking;
机译:时空动态认知逻辑
机译:基于Sat的时空认知逻辑的无界模型检查方法
机译:基于共同知识的带有策略的模式变更时态逻辑是无法确定的
机译:时空时间认知逻辑中的知识遗忘语义
机译:Web应用程序运行时验证的正式框架:范围扩展的线性时间逻辑支持的方法
机译:阴离子结合的有机受体的光谱和DFT研究:时间依赖性研究和逻辑门应用
机译:模型检查交替时间的时间逻辑与知识,不完善的信息,完美的召回和沟通联盟