...
机译:多主体系统的知识,信念和确定性的并发动态逻辑
School of Computer Science, University of Electronic Science and Technology, Chengdu 410073, China;
School of Computer Science, National University of Defense and Technology, Changsha 610054, China;
School of Electronics Engineering and Computer Science, Peking University, Beijing 10084, China;
School of Software, Tsinghua University, Beijing 10084, China;
Information School, Guangdong University of Business Studies, Guangzhou 510320, China;
concurrent dynamic logic; CDKBC proof system; multi-agent systems;
机译:分层多主体系统中有关知识,信念和确定性的推理
机译:多主体系统中的知识动态:似真性,信念修订和转发信息
机译:PDT逻辑:多智能体系统中信念推理的概率时态逻辑
机译:多智能体系统知识,信念和确定性的并发动态逻辑
机译:动态系统的贝叶斯信念网络和模糊逻辑自适应建模:扩展和比较。
机译:逻辑约束下信念系统动力学的图论分析
机译:动态信念和知识的多智能体逻辑
机译:知识与信仰的弱逻辑:雅皮一代的认识与逻辑逻辑。