×

书评:P.Haslum等人,规划领域定义语言简介。 (英语) Zbl 1436.00014号

MSC公司:

00A17年 外部书评
68-01 与计算机科学相关的介绍性说明(教科书、教程论文等)
68T20型 人工智能背景下的问题解决(启发式、搜索策略等)
68立方英尺 知识表示

软件:

PDDL公司
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 阿尔福德,R。;库特,美国。;Nau,N.,《将HTN转换为PDDL:少量领域知识可以大有帮助》,(《第二十一届国际人工智能联合会议论文集》,《第二十一次国际人工智能联席会议论文集,IJCAI-2009(2009)》),1629-1634
[2] 贝尔纳迪尼,S。;Fagnani,F。;Smith,D.E.,从提升的时间规划域中提取互斥不变量,Artif。智力。,258, 1-65 (2018) ·Zbl 1433.68404号
[3] 科尔斯,A。;科尔斯,A。;马丁内斯,M。;Savas,E。;Delfa,J。;de la Rosa,T。;Y·E·马丁。;Garcia-Olaya,A.,前向搜索规划中带区间约束的高效推理,(《第三十三届全国人工智能会议论文集》,第三十三次全国人工智能大会论文集,AAAI-2019(2019),AAAI出版社)
[4] 菲克斯,R。;Nilsson STRIPS,N.,《将定理证明应用于问题解决的新方法》,(第二届国际人工智能联合会议论文集。第二届人工智能国际联合会议论文集中,IJCAI-1971(1971),Morgan Kaufmann Publishers Inc.),608-620
[5] 福克斯,M。;Long,D.,TIM中状态不变量的自动推断,J.Artif。智力。第9号决议,367-421(1998年)·Zbl 0910.68199号
[6] 福克斯,M。;Long,D.,PDDL2.1:PDDL的扩展,用于表示时间规划领域,J.Artif。智力。决议,20,61-124(2003)·Zbl 1036.68093号
[7] 福克斯,M。;Long,D.,《规划混合离散连续域建模》,J.Artif。智力。决议,27,235-297(2006)·Zbl 1182.68238号
[8] Gerevini,A。;哈斯鲁姆,P。;Long博士。;Saetti,A。;Dimopoulos,Y.,《第五届国际规划竞赛中的决定性规划:PDDL3和规划师的实验评估》,Artif。智力。,173, 5-6, 619-668 (2009) ·Zbl 1191.68634号
[9] Gerevini,A。;库特,美国。;Nau,D。;Saetti,A。;Nathaniel,W.,《结合域独立规划和HTN规划:二重奏规划师》,(第十八届欧洲人工智能会议论文集。第十八届欧盟人工智能会议文献集,ECAI-2008(2008)),573-577
[10] Gerevini,A。;舒伯特,L.,《推断区域依赖规划的状态约束》,(第十五届全国人工智能会议论文集,第十五届国家人工智能会议文献集,AAAI-1998(1998),AAAI出版社/麻省理工学院出版社),905-912
[11] Gerevini,A。;Schubert,L.,Discplan:一个高效的在线系统,用于计算规划领域不变量,(《欧洲规划会议论文集》,欧洲规划会议文献集,ECP-2001(2014),AAAI出版社),284-288
[12] Gerevini,A。;舒伯特,L.,《在发现计划中发现具有条件效应的规划的状态约束》(第一部分),《数学年鉴》。Artif公司。智力。(2019),印刷版
[13] 加拉布,M。;Howe,A。;诺布洛克,G。;麦克德莫特,D。;拉姆,A。;维洛索,M。;焊缝,D。;Wilkins,D.,PDDL——规划领域定义语言(1998年),耶鲁大学计算视觉与控制中心,技术报告CVC TR-98-003/DCS TR-1165
[14] 加拉布,M。;Laruelle,H.,时间规划师IxTeT的代表与控制,(第二届人工智能规划系统国际会议论文集。第二届国际人工智能规划体系会议论文集,AIPS-1994(1994),AAAI出版社),61-67
[15] Helmert,M.,PDDL规划任务的简明有限域表示法,Artif。智力。,173, 5-6, 503-535 (2009) ·Zbl 1191.68635号
[16] 赫尔默特,M。;做,M。;Refanidis,I.,PDDL 3.1中的变更(2008),技术报告
[17] 霍夫曼,J。;Edelkampi,E.,《IPC-4的确定性部分:概述》,J.Artif。智力。决议,24519-579(2005)·Zbl 1080.68669号
[18] Micheli,A。;Scala,E.,《具有度量轨道约束的时间规划》(《第三十三届全国人工智能会议论文集》,第三十三次全国人工智能大会论文集,AAAI-2019(2019),AAAI出版社)
[19] Mussettola,B.,HSTN:集成规划和调度,(Zweben,M.;Fox,M.,智能调度(1994),Morgan Kaufmann),169-212,第6章
[20] Nebel,B.,《论命题规划形式主义的可编译性和表达力》,J.Artif。智力。决议,12,271-315(2000)·Zbl 0943.68182号
[21] Pednault,E.,ADL:探索STRIPS和情境演算之间的中间地带,(《第一届知识表示和推理原则国际会议论文集》,KR-1989(1989)),324-332
[22] 珀卡西,F。;Gerevini,A.,《关于在不使用自动机的情况下编译pddl3软轨迹约束》,(第二十九届国际自动规划与调度会议论文集,第二十九次国际自动规划和调度会议论文集中,ICAPS-2019(2019),AAAI出版社)
[23] 赖特,B。;马特米勒,R。;Nebel,B.,《编制规划中的软轨迹约束》,(《第十六届知识表示与推理原则会议论文集》,第十六届KR-2018(2018)),474-482
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。