alternating-time logic的意思|示意
alternating-time逻辑
alternating-time logic的网络常见释义
交流时间逻辑 on obligations and abilities-在义务和能力-知来数据 Keywords: deontic logic, alternating-time logic, multi-agent systems. [gap=295]关键词：道义逻辑，交流时间逻辑，多Agent系统。
alternating-time logic相关短语
1、 alternating-time temporal logic 交互时态逻辑
alternating-time logic相关例句
These works indicate that the alternating-time temporal logic (ATL) logic based on game is more suit-able to describe and analyze complex e-commerce protocols than traditional CTL.
结果表明基于博弈的AT L逻辑比传统的基于计算树逻辑(CTL)更适合于描述和分析复杂电子商务协议。