吴丽君;苏凯乐;韩亚彪;陈靖宇;陆香玉 层次化多智能体系统中关于知识、信念和确定性的推理。 (英语) Zbl 1403.68275号 正面。计算。科学。 11,第3期,499-510(2017)。MSC公司:68T27型 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{L.Wu}等人,前面。计算。科学。11,第3号,499--510(2017;Zbl 1403.68275) 全文: 内政部
Shan、Laixiang;杜晓敏;秦、郑 将LTL公式转换为Büchi自动机的有效方法。 (英语) Zbl 1403.68130号 正面。计算。科学。 9,第4期,511-523(2015)。MSC公司:60年第68季度 03B44号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Shan}等人,前面。计算。科学。9,第4号,511--523(2015;Zbl 1403.68130) 全文: 内政部
陈清亮;苏凯乐;胡勇;胡贵武 多智能体系统的时间知识的完整联盟逻辑。 (英语) 兹比尔1403.68256 正面。计算。科学。 9,第1期,75-86(2015)。MSC公司:68T27型 68立方英尺 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{Q.Chen}等人,前。计算。科学。9,第1号,75--86(2015;Zbl 1403.68256) 全文: 内政部
杨晓晓;张瑜;傅明;冯新余 基于投影时态逻辑的原子块时态编程模型。 (英语) Zbl 1403.68042号 正面。计算。科学。 8,第6号,958-976(2014)。MSC公司:68纳米30 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Yang}等人,前面。计算。科学。8、第6号958--976(2014;Zbl 1403.68042) 全文: 内政部
萨瓦斯·科努尔 用于指定和验证实时系统的时态逻辑调查。 (英语) Zbl 1425.68258号 正面。计算。科学。 7,第3期,370-403(2013)。MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Konur},正面。计算。科学。7,第3号,370--403(2013;Zbl 1425.68258) 全文: 内政部