贾库布·米查利辛;奥托普,简 使用循环index查询学习无限字自动机。 (英语) Zbl 07505994号 Artif公司。智力。 307,文章ID 103710,17 p.(2022).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{J.Michaliszyn}和\textit{J.Otop},Artif。智力。307,文章ID 103710,17 p.(2022;Zbl 07505994) 全文: 内政部
阿莱西奥·洛穆西奥;埃多尔多·皮罗瓦诺 一种用于验证概率群系统特性的反抽象技术。 (英语) 兹伯利07505976 Artif公司。智力。 305,文章ID 103666,23 p.(2022).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{A.Lomuscio}和\textit{E.Pirovano},Artif。智力。305,文章ID 103666,23 p.(2022;Zbl 07505976) 全文: 内政部
朱利安·古铁雷斯;保罗·哈伦斯坦;迈克尔·伍尔德里奇 从模型检查到平衡检查:用于理性验证的反应性模块。 (英语) Zbl 1420.68129号 Artif公司。智力。 248, 123-157 (2017).MSC公司:60年第68季度 03B44号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,Artif。智力。248123-157(2017;Zbl 1420.68129) 全文: 内政部 链接
林方珍 一阶逻辑中程序的形式化,具有离散线性顺序。 (英语) Zbl 1352.68065号 Artif公司。智力。 235, 1-25 (2016).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{F.Lin},人工制品。智力。235,1--25(2016;Zbl 1352.68065) 全文: 内政部
帕纳吉奥蒂斯·库瓦罗斯;阿莱西奥·洛穆西奥 多智能体系统的参数化验证。 (英语) Zbl 1351.68294号 Artif公司。智力。 234, 152-189 (2016).MSC公司:68T42型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Kouvaros}和\textit{A.Lomuscio},Artif。智力。234152--189(2016;Zbl 1351.68294) 全文: 内政部
朱塞佩·德贾科莫;阿方索·埃米利奥·杰雷维尼;帕特里齐,法比奥;亚历山德罗·萨埃蒂;塞巴斯蒂安·萨迪纳 代理规划程序。 (英语) Zbl 1344.68245号 Artif公司。智力。 231, 64-106 (2016).MSC公司:68T42型 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{G.De Giacomo}等人,Artif。智力。231、64-106(2016年;Zbl 1344.68245) 全文: 内政部
奇塔·巴拉尔;托马斯·艾特;马库斯·比亚雷兰德;中村、木须 代理人在动态环境中的维护目标:制定和政策建设。 (英语) Zbl 1183.68630号 Artif公司。智力。 172,编号12-13,1429-1469(2008).MSC公司:68T42型 PDF格式BibTeX公司 XML格式引用 \textit{C.Baral}等人,Artif。智力。172,编号12--13,1429--1469(2008;Zbl 1183.68630) 全文: 内政部
A.西马蒂。;M·皮斯托尔。;M.罗维里。;特拉弗索,P。 通过符号模型检查进行弱、强和强循环规划。 (英语) Zbl 1082.68800号 Artif公司。智力。 147,编号1-2,35-84(2003).MSC公司:68T20型 2005年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,Artif。智力。147,编号1--2,35-84(2003;Zbl 1082.68800) 全文: 内政部
詹宁斯,N.R。 基于代理的软件工程。 (英语) 兹伯利0938.68864 Artif公司。智力。 117,第2期,277-296(2000).MSC公司:68T99型 PDF格式BibTeX公司 XML格式引用 \textit{N.R.Jennings},阿蒂夫。智力。117,第2号,277--296(2000;Zbl 0938.68864) 全文: 内政部
陈晓军;朱塞佩·德·贾科莫 关于不确定性和并发操作的推理:进程代数方法。 (英语) Zbl 0910.68075号 Artif公司。智力。 107,第1期,63-98(1999).MSC公司:2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.J.Chen}和\textit{G.de Giacomo},Artif。智力。107,编号1,63--98(1999;Zbl 0910.68075) 全文: 内政部
卡班扎,F。;M.巴博。;圣丹尼斯,R。 反应剂的计划控制规则。 (英语) Zbl 0894.68138号 Artif公司。智力。 95,第1号,67-113(1997).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{F.Kabanza}等人,Artif。智力。95,第1号,67--113(1997;Zbl 0894.68138) 全文: 内政部
克里斯托夫·沃尔特 关于用机器证明算法的终止性。 (英语) Zbl 0938.68819号 Artif公司。智力。 71,第1期,101-157(1994).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \文本{C.Walther},Artif。智力。71,第1号,101--157(1994;Zbl 0938.68819) 全文: 内政部
瓦尔丁格,R.J。;莱维特,K.N。 对程序进行推理。 (英语) 兹比尔0293.68021 Artif公司。智力。 5, 235-316 (1974).MSC公司:68号01 68吨10 PDF格式BibTeX公司 XML格式引用 \textit{R.J.Waldinger}和\textit{K.N.Levit},Artif。智力。5235-316(1974年;Zbl 0293.68021) 全文: 内政部