UCPOP公司

UCPOP策划人。注意:UCPOP是一个老化系统-我们建议使用Sensory Graphplan(SGP)代替。SGP处理UCPOP功能的超集,而且速度快得多。UCPOP部分订单计划器4.1版的通用Lisp源代码可通过匿名FTP获得。UCPOP的操作具有条件效果和普遍量化的前提条件和效果。它接受普遍量化的目标。此外,ucpop4.1允许调用公共Lisp代码的领域公理和谓词来确定可满足性。使用保守的搜索策略,UCPOP对于这种表示既合理又完整,但是可以使用方便的声明性规则添加积极的、依赖于域的搜索控制。我们常用的Lisp实现对于课堂使用来说足够简单,但是非常高效(需要2-20ms来探索和完善部分计划)。


zbMATH参考文献(38篇文章引用)

显示结果1到20,共38个。
按年份排序(引用)
  1. Gerevini,Alfonso Emilio;Schubert,Lenhart:在\textsDiscoPlan中发现具有条件效果的计划的状态约束。一(2020年)
  2. Domshlak,Carmel;Hoffmann,Jörg;Katz,Michael:《红黑规划:部分删除松弛的新系统方法》(2015)
  3. Alford,Ron;Kuter,Ugur;Nau,Dana;Goldman,Robert P.:非确定性领域中强周期计划的计划聚合(2014)
  4. Kelareva,Elena;Tierney,Kevin;Kilby,Philip:具有时间依赖性任务成本的调度和路由的CP方法(2014)
  5. Plaisted,David A.;Miller,Swaha:语义和统一的相对力量(2013)
  6. Gerevini,Alfonso E.;Saetti,Alessandro;Serina,Ivan:通过规则动作图和局部搜索在具有派生谓词的域中进行规划(2011)
  7. 诺曼,蒂莫西J.;里德,克里斯:授权逻辑(2010)
  8. da Costa Pereira,Célia;Tettamanzi,Andrea G.B.:关于不精确和不完整状态描述的行为的推理(2009)
  9. Antonio Garrido;Arangu,Marlene;Onaindia,Eva:规划的约束规划公式:从计划调度到计划生成(2009)
  10. Kahramanoıulları,Ozan:论线性逻辑规划与并发(2009)
  11. Kuter,Ugur;Nau,Dana;Pistore,Marco;Traverso,Paolo:抽象状态下的任务分解,不确定性下的规划(2009)
  12. Roberts,Mark;Howe,Adele:《从规划师绩效中学习》(2009)
  13. Gupta,Manish;Fu,Jicheng;Bastani,Farokh B.;Khan,Latifur;Yen,I-Ling:使用MEA图规划的快速面向目标的自动化软件测试。(2007年)ioport公司
  14. 莱因哈德·斯托尔;阿波罗·霍根;伊丽莎白·布拉德利:《异质推理者的议程控制》(2005)
  15. 西尔维·蒂鲍克斯(Thiébaux)、霍夫曼(Hoffmann)、约格(Jörg)、内贝尔(Nebel)、伯恩哈德(Bernhard):为PDDL公理辩护(2005年)
  16. Refinidis,Ioannis;Vlahavas,Ioannis:多目标启发式状态空间规划(2003)
  17. Aler,Ricardo;Borrajo,Daniel;Isasi,Pedro:使用遗传编程学习和改进控制知识。(2002年)
  18. Elizabeth Bradley;Matthew Easley;Stolle,Reinhard:关于非线性系统辨识的推理(2001)
  19. Horty,J.F.;Pollack,M.E.:在现有计划的背景下评估新的选择(2001年)
  20. Son,T.C.;Baral,C.:形式化感知行为——基于转换函数的方法(2001)