瓦夏克·贝勒;托马斯·博兰德;安德烈亚斯·赫齐格;伯恩哈德·内贝尔 认识规划:对特殊问题的看法。 (英语) Zbl 07697282号 Artif公司。智力。 316,文章ID 103842,10 p.(2023).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{V.Belle}等人,Artif。智力。316,文章ID 103842,10 p.(2023;Zbl 07697282) 全文: DOI程序
本杰明·比特纳;马可·波扎诺;亚历山德罗·西马蒂;马可·加里奥;斯特凡诺·托内塔;维克多利亚沃扎洛娃 公平过渡系统的可诊断性。 (英语) Zbl 1491.68107号 Artif公司。智力。 309,文章ID 103725,39 p.(2022).MSC公司:60年第68季度 90B25型 93个B07 PDF格式BibTeX公司 XML格式引用 \textit{B.Bittner}等人,Artif。智力。309,文章ID 103725,39 p.(2022;Zbl 1491.68107) 全文: DOI程序
瓦夏克·贝勒 分析不确定性下的广义规划。 (英语) Zbl 07505990号 Artif公司。智力。 307,文章ID 103696,32 p.(2022).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \文本{V.Belle},Artif。智力。307,文章ID 103696,32 p.(2022;Zbl 07505990) 全文: DOI程序
尼古拉·吉甘特;安德烈亚·米凯利;安吉洛·蒙塔纳里;恩里科·斯卡拉 密集时间内基于行动的时间规划的可决定性和复杂性。 (英语) Zbl 07505989号 Artif公司。智力。 307,文章ID 103686,20 p.(2022).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{N.Gigante}等人,Artif。智力。307,文章ID 103686,20 p.(2022;Zbl 07505989) 全文: DOI程序
苏南迪塔·帕特拉;詹姆斯·梅森;马利克·加拉布;瑙,达纳;保罗·特拉弗索 通过分层运营模式进行深思熟虑的行动、规划和学习。 (英语) Zbl 1520.68153号 Artif公司。智力。 299,文章ID 103523,40 p.(2021).MSC公司:68T05型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Patra}等人,Artif。智力。299,文章ID 103523,第40页(2021;Zbl 1520.68153) 全文: DOI程序 arXiv公司
克里希南德·查特吉;沃尔夫冈·德沃亚克;莫妮卡·亨津格;亚历山大·斯沃齐尔 规划问题的算法和条件下限。 (英语) Zbl 1519.68231号 Artif公司。智力。 297,文章ID 103499,22 p.(2021).MSC公司:68T20型 2017年第68季度 68兰特 90立方厘米 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,Artif。智力。297,文章ID 103499,22 p.(2021;Zbl 1519.68231) 全文: DOI程序 arXiv公司 链接
李彦军;王燕京 基于计划的专业知识:统一方法。 (英语) Zbl 1519.68255号 Artif公司。智力。 296,文章ID 103487,30 p.(2021).MSC公司:68T27型 03B42号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}和\textit{Y.Wang},人工制品。智力。296,文章ID 103487,30 p.(2021;Zbl 1519.68255) 全文: DOI程序
什扬·阿克马尔;弹药,萨瓦纳;李和萌;迈克尔·高;林赛·波波斯基;詹姆斯·琼·波尔科尔。 量化具有不确定性的时间网络中的可控性。 (英语) Zbl 1504.68201号 Artif公司。智力。 289,文章ID 103384,19 p.(2020).MSC公司:68T20型 93B70型 PDF格式BibTeX公司 XML格式引用 \textit{S.Akmal}等人,Artif。智力。289,文章ID 103384,19 p.(2020;Zbl 1504.68201) 全文: DOI程序
李建文;浦、葛光;张月玲;莫舍·瓦尔迪。;克里斯汀·罗泽尔。 基于SAT的显式\(\mathsf{LTL}_f\)满意度检查。 (英语) Zbl 1504.68205号 Artif公司。智力。 289,文章ID 103369,19 p.(2020).MSC公司:68T20型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.Li}等人,Artif。智力。289,文章ID 103369,第19页(2020;Zbl 1504.68205) 全文: DOI程序 arXiv公司
布鲁诺·扎努蒂尼;朗,杰罗姆;阿卜杜拉·萨菲丁;弗朗索瓦·施瓦森特鲁伯 基于知识的程序是部分可观察领域的简洁策略。 (英语) Zbl 1504.68214号 Artif公司。智力。 288,文章ID 103365,26 p.(2020).MSC公司:68T27型 68T20型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{B.Zanuttini}等人,人工制品。智力。288,文章ID 103365,26 p.(2020;Zbl 1504.68214) 全文: DOI程序 哈尔
阿尔班·格雷斯廷;恩里科·斯卡拉 CPCES:一个规划框架,通过反例引导的细化来解决一致规划问题。 (英语) Zbl 1451.68248号 Artif公司。智力。 284,文章ID 103271,38 p.(2020).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Grastien}和\textit{E.Scala},Artif。智力。284,文章ID 103271,38 p.(2020;Zbl 1451.68248) 全文: DOI程序
鲁斯·米尔斯基;罗尼·斯特恩;高比加尔;迈尔·卡拉奇 顺序计划识别:消除假设之间歧义的迭代方法。 (英语) Zbl 1445.68222号 Artif公司。智力。 260, 51-73 (2018).MSC公司:68层37 PDF格式BibTeX公司 XML格式引用 \textit{R.Mirsky}等人,Artif。智力。260、51-73(2018;Zbl 1445.68222) 全文: DOI程序
亚历山德罗·西马蒂;做,明;安德烈亚·米凯利;马可·罗维里;大卫·E·史密斯。 强有力的时间规划,持续时间不可控。 (英语) 兹比尔1443.68163 Artif公司。智力。 256,1-34(2018).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,Artif。智力。256,1-34(2018;Zbl 1443.68163) 全文: DOI程序 链接
朱塞佩·德贾科莫;伊夫莱斯佩伦斯;法比奥·帕特里齐 有界情境演算行动理论。 (英语) Zbl 1357.68227号 Artif公司。智力。 237, 172-203 (2016).MSC公司:68立方英尺 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.De Giacomo}等人,Artif。智力。237172--203(2016年;兹bl 1357.68227) 全文: DOI程序 arXiv公司 链接
埃里尼·卡尔德利;亚历山大·拉佐维克;马可·艾略 不确定和动态环境中服务的域相关规划。 (英语) Zbl 1357.68208号 Artif公司。智力。 236, 30-64 (2016).MSC公司:68T20型 68英里11 68层37 PDF格式BibTeX公司 XML格式引用 \textit{E.Kaldeli}等人,Artif。智力。23630--64(2016;Zbl 1357.68208) 全文: DOI程序 链接
朱塞佩·德贾科莫;阿方索·埃米利奥·杰雷维尼;法比奥·帕特里齐;亚历山德罗·萨埃蒂;塞巴斯蒂安·萨迪纳 代理计划程序。 (英语) 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) 全文: DOI程序
致,Son Thanh;儿子Tran Cao;恩里科·蓬泰利 在信息不完整的情况下进行规划的一般方法:理论与实施。 (英语) Zbl 1346.68181号 Artif公司。智力。 227, 1-51 (2015).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.T.To}等人,Artif。智力。227,1--51(2015;Zbl 1346.68181) 全文: DOI程序
亚历山德罗·西马蒂;安德烈亚·米凯利;马可·罗维里 基于SMT的不确定性析取时间问题弱可控性方法。 (英语) Zbl 1343.68237号 Artif公司。智力。 224, 1-27 (2015).MSC公司:68层37 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,Artif。智力。224,1--27(2015;Zbl 1343.68237) 全文: DOI程序
罗恩·阿尔福德;乌戈尔库特;瑙,达纳;罗伯特·戈德曼。 在不确定域中为强循环规划规划聚合。 (英语) Zbl 1405.68319号 Artif公司。智力。 216, 206-232 (2014).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Alford}等人,人工制品。智力。216206-232(2014;Zbl 1405.68319) 全文: DOI程序
米盖尔·卡里略;David A.Rosenblueth。 通过保护对克里普克模型进行CTL更新。 (英语) Zbl 1405.68180号 Artif公司。智力。 211, 51-74 (2014).MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Carrillo}和\textit{D.A.Rosenblueth},Artif。智力。211、51-74(2014;Zbl 1405.68180) 全文: DOI程序
斯利瓦斯塔瓦(Siddharth Srivastava);尼尔·伊梅尔曼;什洛莫·齐尔伯斯坦 循环计划的适用条件:可计算性结果和算法。 (英语) Zbl 1270.68277号 Artif公司。智力。 191-192, 1-19 (2012).MSC公司:68T20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Srivastava}等人,Artif。智力。191-192,1-19(2012;Zbl 1270.68277) 全文: DOI程序 链接
斯利瓦斯塔瓦(Siddharth Srivastava);尼尔·伊梅尔曼;什洛莫·齐尔伯斯坦 广义规划的一种新表示和相关算法。 (英语) Zbl 1216.68253号 Artif公司。智力。 175,编号2615-647(2011).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Srivastava}等人,Artif。智力。175,No.2,615--647(2011;Zbl 1216.68253) 全文: DOI程序
Tu,Phan Huy先生;儿子Tran Cao;迈克尔·盖尔芬德;里卡多·莫拉莱斯 行动理论的近似及其在一致性规划中的应用。 (英语) Zbl 1230.68185号 Artif公司。智力。 175,第1期,79-119(2011). 审核人:贾纳·科勒(卢塞恩) MSC公司:68T20型 68层37 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.H.Tu}等人,Artif。智力。175,第1号,79--119(2011;Zbl 1230.68185) 全文: DOI程序
布莱·博内 一致性计划及其以外:原则和复杂性。 (英语) Zbl 1207.68344号 Artif公司。智力。 174,编号3-4,245-269(2010).MSC公司:68T20型 65年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{B.Bonet},阿蒂夫。智力。174,编号3--4,245--269(2010;Zbl 1207.68344) 全文: DOI程序
吕迪格·埃本特;罗尔夫·德雷克斯勒 加权搜索-统一视图和应用程序。 (英语) Zbl 1194.68207号 Artif公司。智力。 173,第14期,1310-1342(2009).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Ebendt}和\textit{R.Drechsler},Artif。智力。173,第14号,1310--1342(2009;Zbl 1194.68207) 全文: DOI程序
乌戈尔库特;瑙,达纳;马可·皮斯托雷;保罗·特拉弗索 抽象状态上的任务分解,用于不确定性下的规划。 (英语) Zbl 1191.68636号 Artif公司。智力。 173,编号5-6,669-695(2009).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{U.Kuter}等人,Artif。智力。173,编号5--6669-695(2009年;兹bl 1191.68636) 全文: DOI程序
奇塔·巴拉尔;托马斯·艾特;马库斯·比亚雷兰德;中村、木须 代理人在动态环境中的维护目标:制定和政策建设。 (英语) 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) 全文: DOI程序
Rune M.延森。;Manuela M.Veloso。;Randal E.布莱恩特。 状态集分支:利用BDD进行启发式搜索。 (英语) Zbl 1182.68248号 Artif公司。智力。 172,编号2-3,103-139(2008).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Jensen}等人,Artif。智力。172,编号2--3,103-139(2008;Zbl 1182.68248) 全文: DOI程序
亚历山大·阿提基斯;马雷克·塞尔戈特;杰里米·皮特 正式论证协议的可执行规范。 (英语) Zbl 1168.68557号 Artif公司。智力。 171,编号10-15,776-804(2007).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Artikis}等人,Artif。智力。171,编号10--15,776--804(2007;Zbl 1168.68557) 全文: DOI程序
皮耶乔治·贝尔托利;亚历山德罗·西马蒂;马可·罗维里;保罗·特拉弗索 部分可观测性下的强规划。 (英语) 兹比尔1131.68095 Artif公司。智力。 170,编号4-5,337-384(2006).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bertoli}等人,Artif。智力。170,编号4--5,337--384(2006;Zbl 1131.68095) 全文: DOI程序
约尔格·霍夫曼;罗恩·布拉夫曼(Ronen I。Brafman)。 通过启发式前向搜索的一致性规划:一种新方法。 (英语) Zbl 1131.68525号 Artif公司。智力。 170,编号6-7,507-541(2006).MSC公司:68T20型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{J.Hoffmann}和\textit{R.I.Brafman},Artif。智力。170,编号6--7,507--541(2006;Zbl 1131.68525) 全文: DOI程序
马塞洛·奥格利蒂 理解信息和感知不完整的规划。 (英语) Zbl 1132.68707号 Artif公司。智力。 164,编号1-2,171-208(2005).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Oglietti},阿蒂夫。智力。164,编号1--2,171-208(2005;Zbl 1132.68707) 全文: DOI程序
Cimatti,A。;M.罗维里。;伯托利,P。 通过符号模型检查和启发式搜索进行一致性规划。 (英语) Zbl 1086.68591号 Artif公司。智力。 159,编号1-2,127-206(2004).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,Artif。智力。159,第1-2127-206号(2004年;兹bl 1086.68591) 全文: DOI程序
克劳迪奥·卡斯泰里尼;恩里科·金西格里亚;阿曼多·塔切拉 复杂领域中基于SAT的规划:并发、约束和不确定性。 (英语) Zbl 1082.68799号 Artif公司。智力。 147,编号1-2,85-117(2003).MSC公司:68T20型 68层37 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Castellini}等人,人工制品。智力。147,编号1--2,85-117(2003;Zbl 1082.68799) 全文: DOI程序
Cimatti,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) 全文: DOI程序
托马斯·艾特;沃尔夫冈·费伯;尼古拉·利昂;杰拉尔德·菲弗;Polleres,阿克塞尔 知识状态规划的逻辑编程方法。二: DLV(^\mathcal K)系统。 (英语) Zbl 1079.68619号 Artif公司。智力。 144,编号1-2,157-211(2003).MSC公司:68T20型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人,Artif。智力。144,编号1--2,157-211(2003;Zbl 1079.68619) 全文: DOI程序
斯文·柯尼格 Minimax实时启发式搜索。 (英语) Zbl 0971.68145号 Artif公司。智力。 129,第1-2号,165-197(2001).MSC公司:68T20型 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{S.Koenig},人工制品。智力。129,编号1--2,165-197(2001;Zbl 0971.68145) 全文: DOI程序