朱利奥·马齐;阿尔贝托·卡斯泰里尼;亚历山德罗·法利内利 部分可观察蒙特卡洛规划政策的风险意识屏蔽。 (英语) Zbl 07766476号 Artif公司。智力。 324,文章ID 103987,26 p.(2023).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{G.Mazzi}等人,Artif。智力。324,文章ID 103987,26 p.(2023;Zbl 07766476) 全文: 内政部
霍森·哈桑贝格;丹尼尔·克罗宁;亚历山德罗·阿巴特 具有逻辑指导的认证强化学习。 (英语) Zbl 07732224号 Artif公司。智力。 322,文章ID 103949,第22页(2023).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{H.Hasanbeig}等人,Artif。智力。322,文章ID 103949,22 p.(2023;Zbl 07732224) 全文: 内政部 arXiv公司
阿莱西奥·洛穆西奥;埃多尔多·皮罗瓦诺 一种用于验证概率群系统特性的反抽象技术。 (英语) Zbl 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) 全文: 内政部 链接
Zeynep G.萨里巴特。;托马斯·艾特;彼得·舒勒 非地面答案集程序的抽象。 (英语) Zbl 1520.68023号 Artif公司。智力。 300,文章ID 103563,72 p.(2021).MSC公司:68N17号 68T20型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{Z.G.Saribatur}等人,Artif。智力。300,文章ID 103563,72 p.(2021;Zbl 1520.68023) 全文: 内政部
沃伊切赫·贾姆罗加;瓦迪姆·马尔沃内;阿尼埃洛·穆拉诺 天生的战略能力。 (英语) Zbl 1478.68385号 Artif公司。智力。 277,文章ID 103170,33 p.(2019).MSC公司:68T42型 03B44号 60年第68季度 68问题85 91A26型 PDF格式BibTeX公司 XML格式引用 \textit{W.Jamroga}等人,Artif。智力。277,文章ID 103170,33 p.(2019;Zbl 1478.68385) 全文: 内政部 链接
丹尼尔·格纳德;霍夫曼,约格 星战解耦状态空间搜索。 (英语) Zbl 1444.68172号 Artif公司。智力。 257, 24-60 (2018).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Gnad}和\textit{J.Hoffmann},Artif。智力。257、24-60(2018年;Zbl 1444.68172) 全文: 内政部
安德烈亚斯·霍夫曼。;布莱恩·威廉姆斯。 动态混合系统的时空灵活计划执行。 (英语) Zbl 1420.68212号 Artif公司。智力。 247, 266-294 (2017).MSC公司:68T40型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.G.霍夫曼}和\textit{B.C.威廉姆斯},阿蒂夫。智力。247266-294(2017;Zbl 1420.68212) 全文: 内政部
娜塔莎·亚历奇纳;牛,尼尔斯;布赖恩·洛根;Nguyen、Hoang Nga 空闲的优点:资源代理逻辑的一个可判定片段。 (英语) Zbl 1402.68122号 Artif公司。智力。 245, 56-85 (2017).MSC公司:60年第68季度 03B25号 03B44号 68T27型 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{N.Alechina}等人,Artif。智力。245、56-85(2017;Zbl 1402.68122) 全文: 内政部
弗洛里安·朗辛;马蒂娜·塞德尔;范·盖尔德,艾伦 QBF画廊:幕后。 (英语) Zbl 1357.68209号 Artif公司。智力。 237, 92-114 (2016).MSC公司:68T20型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{F.Lonsing}等人,Artif。智力。237、92——114(2016年;Zbl 1357.68209) 全文: 内政部 arXiv公司
克里希南德·查特吉;马丁·奇梅利克;拉加夫·古普塔;阿尤什·卡诺迪亚 POMDP中的最优成本几乎保证可达性。 (英语) Zbl 1351.68307号 Artif公司。智力。 234, 26-48 (2016).MSC公司:68周25 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,Artif。智力。234、26-48(2016;Zbl 1351.68307) 全文: 内政部 arXiv公司
米科拉什·亚诺塔;威廉·克利伯;若昂·西尔瓦侯爵;埃德蒙·克拉克 使用反例引导的精化来解决QBF。 (英语) Zbl 1351.68254号 Artif公司。智力。 234, 1-25 (2016).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Janota}等人,人工制品。智力。234,1--25(2016;Zbl 1351.68254) 全文: 内政部
Afsaneh Shirazi;埃亚尔·埃米尔 一阶逻辑滤波。 (英语) Zbl 1216.68276号 Artif公司。智力。 175,第1期,193-219(2011).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Shirazi}和\textit{E.Amir},Artif。智力。175,第1号,193--219(2011;Zbl 1216.68276) 全文: 内政部
阿莱西奥·洛穆西奥;沃伊切赫·彭泽克;沃纳、博埃纳 知识和实时的有界模型检查。 (英语) Zbl 1168.68422号 Artif公司。智力。 171,第16-17号,1011-1038(2007).MSC公司:60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Lomuscio}等人,Artif。智力。171,编号16--17,1011--1038(2007;Zbl 1168.68422) 全文: 内政部