摘要
Bacchus,F.、Kautz,H.、Smith,D.E.、Long,D.、Geffner,H.和Koehler,J.(2000年)。 AIPS-00规划竞赛,科罗拉多州布雷肯里奇 . 谷歌学者 Bibel,W.(1998)。 让我们用演绎的方式来计划它。 人工智能,103 (1-2), 183-208. 谷歌学者 数字图书馆 Blum,A.和Furst,M.(1997年)。 通过规划图分析快速规划。 人工智能,90 (1-2), 281-300. 谷歌学者 数字图书馆 Bonet,B.和Geffner,H.(1998年)。 使用POMDP学习排序和决策树。 在 程序。 第15届国际机器学习会议 (第73-81页)。 摩根·考夫曼。 谷歌学者 数字图书馆 Bonet,B.和Geffner,H.(1999)。 作为启发式搜索的规划:新结果。 在 程序。 欧洲规划会议(ECP-99),英国达勒姆。 斯普林格。 谷歌学者 数字图书馆 Ehrig,H.和Mahr,B.(1985年)。 代数规范基础1。 斯普林格。 谷歌学者 数字图书馆 Field,A.J.和Harrison,P.G.(1988年)。 功能编程 马萨诸塞州雷丁:Addison-Wesley。 谷歌学者 Fox,M.和Long,D.(2001年)。 PDDL2.1:PDDL的扩展,用于表示时间规划域 . http://www.dur.ac.uk/d.p.long/competition.html。 谷歌学者 Frühwirth,T.和Abdennadher,S.(1997)。 约束编程 柏林:施普林格。 谷歌学者 Geffner,H.(2000)。 功能条带:一种更灵活的规划和问题解决语言。 在J.Minker(编辑)中, 基于逻辑的人工智能 多德雷赫特:克鲁沃。 谷歌学者 数字图书馆 Kautz,H.和Selman,B.(1996年)。 突破极限:规划、命题逻辑和随机搜索。 在 程序。 第十三届全国人工智能大会和第八届人工智能创新应用大会 (第1194-1201页)。 谷歌学者 数字图书馆 Koehler,J.(1998)。 在资源限制下进行规划。 H.Prade(编辑), 程序。 第十三届欧洲人工智能会议(ECAI-98) (第489-493页)。 威利。 谷歌学者 Koehler,J.、Nebel,B.和Hoffmann,J.(1997)。 将计划图扩展到ADL子集。 在 程序。 欧洲规划会议(ECP-97) (第273-285页)。 斯普林格。 (扩展版为弗赖堡大学第88/1997号技术报告)。 谷歌学者 数字图书馆 Laborie,P.和Ghallab,M.(1995年)。 具有共享资源约束的规划。 在 程序。 第14届IJCAI (第1643-1649页)。 摩根·考夫曼。 谷歌学者 数字图书馆 Manna,Z.和Waldinger,R.(1987)。 如何清除障碍:计划理论。 自动推理杂志,3 (4), 343-378. 谷歌学者 数字图书馆 McDermott,D.(1998)。 PDDL-规划领域定义语言 . http://ftp.cs.yale.edu/pub/mcdermott。 谷歌学者 McDermott,D.(2000)。 1998年人工智能规划系统竞赛。 AI杂志,21 (2). 谷歌学者 Müller,M.(2000)。 集成von Funktionsanwendungen beim zustandsbaseerten Planen 柏林工业大学计算机科学系毕业论文。 谷歌学者 Pednault,E.P.D.(1987)。 在经典规划框架中制定多智能体、动态世界问题。M.P.Georgeff和A.L.Lansky(编辑), 程序。 关于行动和计划的推理研讨会 (第47-82页)。 摩根·考夫曼。 谷歌学者 交叉引用 Pednault,E.P.D.(1994)。 ADL和行动的状态转换模型。 逻辑与计算杂志,4 (5), 467-512. 谷歌学者 交叉引用 Schmid,U.和Wysotzki,F.(1998年)。 递归程序方案的归纳。 在 程序。 第十届欧洲机器学习会议(ECML-98) (第1398卷,第214-225页)。 斯普林格。 谷歌学者 数字图书馆 Schmid,U.和Wysotzki,F.(2000)。 将归纳程序综合应用于宏学习。 在 程序。 第五届人工智能规划与调度国际会议 (第371-378页)。 谷歌学者 Sterling,L.和Shapiro,E.(1986年)。 Prolog的艺术:高级编程技术 麻省理工学院出版社。 谷歌学者 数字图书馆 Veloso,M.、Carbonell,J.、Pérez,M.A.、Borrajo,D.、Fink,E.和Blythe,J.(1995)。 整合规划和学习:Prodigy架构。 实验与理论人工智能杂志,7 (1), 81-120. 谷歌学者 交叉引用 Weld,D.(1994)。 最低承诺计划简介。 AI杂志,15 (4), 27-61. 谷歌学者 数字图书馆
建议
基于事务逻辑的状态空间规划 PADL 2015:第17届声明性语言实践方面国际研讨会会议记录-第9131卷 自1960年以来,状态空间规划算法被认为是解决经典规划问题的主要经典规划技术之一。 在本文中,我们表明事务逻辑是一种合适的语言和框架,可以用于研究和分析事务逻辑。。。