罗恩·范德梅登;马纳斯·K·帕特拉。 模型检验概率时间认识逻辑的不可解释案例(扩展摘要)。 (英语) Zbl 1483.68210号 Ramanujam,R.(编辑),《第十五届理性与知识理论方面会议论文集》,TARK 2015,卡内基梅隆大学,美国匹兹堡,2015年6月4-6日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)215264-282(2016)。MSC公司:60年第68季度 03B25号 03B42号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.van der Meyden}和\textit{M.K.Patra},电子。程序。西奥。计算。科学。(EPTCS)215264--282(2016;Zbl 1483.68210) 全文: arXiv公司 链接
劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 模型检查艾伦关系的逻辑遇见和由启动是\(\mathbf{P}^{\mathbf{NP}}\)-完成的。 (英语) 兹比尔1478.68148 Cantone,Domenico(ed.)等人,第七届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2016,卡塔尼亚,意大利,2016年9月14-16日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)22676-90(2016)。MSC公司:60年第68季度 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,《电子》。程序。西奥。计算。科学。(EPTCS)226、76--90(2016年;Zbl 1478.68148) 全文: arXiv公司 链接
陈清亮;苏凯乐;阿卜杜勒·萨塔尔;罗向玉;陈爱祥 BDI代理的一阶联盟逻辑。 (英语) Zbl 1403.68257号 前面。计算。科学。 10,第2期,233-245(2016).MSC公司:68T27型 65年第68季度 60年第68季度 第68页第42页 PDF格式BibTeX公司 XML格式引用 \textit{Q.Chen}等人,前。计算。科学。10,第2233-245号(2016年;Zbl 1403.68257) 全文: 内政部
阿格涅斯卡·兹布列兹尼。;安德烈·兹布雷泽兹尼 通过基于SMT的有界模型检查验证多智能体系统的实时特性。 (英语) Zbl 1392.68267号 Baldoni,Matteo(编辑)等,2016年PRIMA:多智能体系统的原理和实践。第19届国际会议,泰国普吉岛,2016年8月22日至26日。诉讼程序。查姆:施普林格(ISBN 978-3-319-44831-2/pbk;978-3-3169-44832-9/电子书)。计算机科学课程讲稿9862。《人工智能课堂讲稿》,149-167(2016)。MSC公司:60年第68季度 第68页第42页 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Zbrzezny}和\textit{A.Zbrzezny},莱克特。注释计算。科学。9862、149-167(2016;Zbl 1392.68267) 全文: 内政部
弗朗西斯科·贝拉迪内利;阿莱西奥·洛穆西奥 用于验证多智能体系统中认知属性的三值抽象技术。 (英语) Zbl 1483.68417号 Michael,Loizos(编辑)等人,《人工智能中的逻辑》。2016年11月9日至11日,第15届欧洲会议,JELIA 2016,塞浦路斯拉纳卡。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10021, 112-126 (2016).MSC公司:第68页第42页 03B42号 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Belardinelli}和\textit{A.Lomuscio},莱克特。注释计算。科学。10021、112-126(2016;Zbl 1483.68417) 全文: 内政部
沃纳·什尼亚克(Bożena);安德烈·兹布雷泽兹尼 通过有界模型检查检查定时解释系统的EMTLK属性。 (英语) Zbl 1417.68106号 螺柱日志。 104,第4期,641-678(2016).MSC公司:60年第68季度 03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Woźna-Szcze shi niak}和\textit{A.Zbrzezny},研究日志。104、4号、641--678(2016;Zbl 1417.68106) 全文: 内政部
劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 间隔时间逻辑模型检查:好的和坏的HS片段之间的边界。 (英语) Zbl 1475.68177号 Olivetti,Nicola(编辑)等人,《自动推理》。2016年6月27日至7月2日,在葡萄牙科英布拉举行的第八届国际联合会议,IJCAR 2016。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9706, 389-405 (2016).MSC公司:60年第68季度 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,Lect。注释计算。科学。9706389--405(2016;Zbl 1475.68177) 全文: 内政部
娜塔莎·亚历奇纳;布赖恩·洛根 验证资源型代理的系统。 (英语) Zbl 1475.68397号 贝克曼,阿诺德(编辑)等人,《追求宇宙》。第十二届欧洲可计算性会议,2016年6月27日至7月1日,法国巴黎,CiE 2016。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9709,3-12(2016)。MSC公司:第68页第42页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Alechina}和\textit{B.Logan},莱克特。注释计算。科学。9709,3--12(2016年;Zbl 1475.68397) 全文: 内政部 链接
朱塞佩·德贾科莫;伊夫莱斯佩伦斯;法比奥·帕特里齐 有界情境演算行动理论。 (英语) Zbl 1357.68227号 Artif公司。智力。 237, 172-203 (2016).MSC公司:68立方英尺 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.De Giacomo}等人,人工制品。智力。237172-203(2016;Zbl 1357.68227) 全文: 内政部 arXiv公司 链接
帕纳吉奥蒂斯·库瓦罗斯;阿莱西奥·洛穆西奥 多智能体系统的参数化验证。 (英语) Zbl 1351.68294号 Artif公司。智力。 234, 152-189 (2016).MSC公司:第68页第42页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Kouvaros}和\textit{A.Lomuscio},Artif。智力。234152--189(2016;Zbl 1351.68294) 全文: 内政部