金、科宾;卓、汉克斯、汉奎;肖占豪;万,海;苏巴拉奥·坎巴帕蒂 具有符号和数字动作参数的基于梯度的混合规划。 (英语) Zbl 07613167号 Artif公司。智力。 313,文章ID 103789,29 p.(2022).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{K.Jin}等人,Artif。智力。313,文章ID 103789,29 p.(2022;Zbl 07613167) 全文: 内政部 arXiv公司
卡姆莱什·戈什;帕拉布·达斯古普塔;拉梅什,S。 自动化规划作为分布式控制的早期验证工具。 (英语) 兹比尔1315.68178 J.汽车。推理 54,第1期,31-68(2015).MSC公司:60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{K.Ghosh}等人,J.Autom。推理54,No.1,31--68(2015;Zbl 1315.68178) 全文: 内政部
马苏德·费兹巴赫斯·兰库;阿里·马霍布;Gholamreza Ghassem-Sani 将可满足性用于非最优时间规划。 (英语) Zbl 1361.68205号 Fariñas del Cerro,Luis(编辑)等人,《人工智能中的逻辑》。2012年9月26日至28日,法国图卢兹,第13届欧洲会议,JELIA 2012。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-33352-1/pbk)。计算机科学课堂讲稿7519。《人工智能课堂讲稿》,176-188(2012)。MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.F.Rankooh}等人,Lect。注释计算。科学。7519、176--188(2012年;Zbl 1361.68205) 全文: 内政部
马可·巴奥莱蒂;阿尔弗雷多·米拉尼;瓦伦蒂娜·波吉奥尼;法比奥·罗西 ACOPlan中信息素模型的实验评价。 (英语) 兹比尔1253.68294 安。数学。Artif公司。智力。 62,第3-4号,187-217(2011).MSC公司:68T20型 68T05型 68瓦20 68周25 PDF格式BibTeX公司 XML格式引用 \textit{M.Baioletti}等人,《数学年鉴》。Artif公司。智力。62,编号3--4,187-217(2011;Zbl 1253.68294) 全文: 内政部
阿方索·杰雷维尼(Alfonso E.Gerevini)。;亚历山德罗·萨埃蒂;伊凡·塞琳娜 通过规则操作图和本地搜索在具有派生谓词的域中进行规划。 (英语) 兹比尔1252.68269 安。数学。Artif公司。智力。 62,第3-4号,259-298(2011).MSC公司:68T20型 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{A.E.Gerevini}等人,《数学年鉴》。Artif公司。智力。62,No.3--4,259--298(2011;Zbl 1252.68269) 全文: 内政部
Wah,Benjamin W。;陈一新 求解时间规划问题的惩罚公式中的约束划分。 (英语) Zbl 1131.68100号 Artif公司。智力。 170,第3期,187-231(2006).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{B.W.Wah}和\textit{Y.Chen},Artif。智力。170,第3号,187--231(2006;Zbl 1131.68100) 全文: 内政部