机译:具有个人知识,分布式知识和共同知识的联盟逻辑1
Univ Bergen Dept Informat Sci & Media Studies PB 7802 N-5020 Bergen Norway;
Univ Nottingham Sch Comp Sci Nottingham NG8 1BB England;
Coalition logic; epistemic logic; distributed knowledge; common knowledge; completeness; computational complexity;
机译:与个人的联盟描述逻辑
机译:战士保护与就绪联盟WPRC和媒介战略宣布建立伙伴关系,以开发和分配领先的军体装甲和个人装备市场情报
机译:代理机构II的动态逻辑:确定性DLA,联盟逻辑和博弈论
机译:基于Tableau的决定程序,为多种Agent认知逻辑与共同和分布式知识的运营商
机译:主导联盟和主导性一般管理逻辑:以社区大学学位完成情况为例。
机译:无线传感器网络中基于模糊逻辑的分布式节能聚类算法
机译:具有个体,分布式和公共知识的联盟逻辑