机译:具有知识,完美的回忆和过去的交替时间逻辑:公理化和模型检查
Institute of Mathematics and Informatics Bulgarian Academy of Sciences (Bulgaria);
LACL, Universite Paris Est-Creteil 61 αv. du G-ral de Gaulle, 94010 Creteil (France);
LIAFA, CNRS UMR 7089, Universite Paris Diderot - Paris 7 Case 7014, 75205 Paris Cedex 13 (France);
epistemic alternating-time temporal logic; axiomatisation; model-checking;
机译:基于共同知识的带有策略的模式变更时态逻辑是无法确定的
机译:时态时间逻辑中的动作和知识
机译:合作,知识和时间:时空时间认知逻辑及其应用
机译:在交替时间逻辑中具有真正完美的召回的代理
机译:使用逻辑编程对分布式自治代理进行模型检查。
机译:评估公共卫生报告逻辑的知识资源:对知识创作和管理的影响
机译:模型检查交替时间的时间逻辑与知识,不完善的信息,完美的召回和沟通联盟