曼弗雷德·埃普;梅胡尔·巴特 一种基于历史的近似认知行为理论,用于有效的后置推理。 (英语) Zbl 1457.68256号 J.应用。日志。 13,第4号,第3部分,720-769(2015).MSC公司:68T27型 65年第68季度 68T20型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Eppe}和\textit{M.Bhatt},J.Appl。日志。13,第4号,第3部分,720--769(2015;Zbl 1457.68256) 全文: 内政部
马,吉;穆罕默德·奥尔根(Mehmet A.Orgun)。;卡梅尔·阿迪 时间化信念逻辑的分析表演算。 (英语) Zbl 1248.68471号 J.应用。日志。 9,第4号,289-304(2011).MSC公司:68T27型 第68页第15页 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{J.Ma}等人,J.Appl。日志。9,第4号,289--304(2011;Zbl 1248.68471) 全文: 内政部
佛朗哥·雷蒙迪;阿莱西奥·洛穆西奥 通过有序二元决策图的模型检查实现多智能体系统的自动验证。 (英语) Zbl 1122.68076号 J.应用。日志。 5,第2期,235-251(2007).MSC公司:60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Raimondi}和\textit{A.Lomuscio},J.Appl。日志。5,第2号,235--251(2007;Zbl 1122.68076) 全文: 内政部
阿莱西奥·洛穆西奥;马雷克·塞尔戈特 比特传输问题中违规、错误恢复和执行的形式化。 (英语) Zbl 1076.68074号 J.应用。日志。 2,第1期,93-116(2004).MSC公司:68T27型 68立方英尺 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Lomuscio}和\textit{M.Sergot},J.Appl。日志。2,编号1,93--116(2004;Zbl 1076.68074) 全文: 内政部