[1] McDermott D, Hendler J. Planning: What it is, What It Could Be, An Introduction to the Special Issue on Planning and Scheduling[J]. Artificial Intelligence, 1995, 76(1?2): 1-16.
[2] Ghallab M, Nau D, Traverso P. 自动规划: 理论和实践[M]. 姜云飞, 杨 强, 凌应标, 译. 北京: 清华大学出版社, 2008.
[3] 吕 帅, 刘 磊, 石 莲, 等. 基于自动推理技术的智能规划方法[J]. 软件学报, 2009, 20(5): 1226-1240.
[4] Blum A L, Furst M L. Fast Planning Through Planning Graph Analysis[J]. Artificial Intelligence, 1997, 90(1?2): 281-300.
[5] Kautz H, Selman B. Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search[C]//Proc. of the 13th National Conf. on Artificial Intelligence. Portland, USA: [s. n.], 1996.
[6] Kautz H, McAllester D, Selman B. Encoding Plans in Propo- sitional Logic[C]//Proc. of the 5th Int’l Conf. on Principles of Knowledge Representation and Reasoning. [S. l.]: Morgan Kaufmann Publishers, 1996.
[7] Kautz H, Selman B. Unifying SAT-based and Graph-based Plan- ning[C]//Proc. of the 16th International Joint Con. on Artificial Intelligence. [S. l.]: Morgan Kaufmann Publishers, 1999.
[8] Kautz H, Selman B, Hoffmann J. SatPlan: Planning as Satis- fiability[C]//Proc. of the 5th International Planning Competition Booklet. Lake District, England: [s. n.], 2006.
[9] 吴向军, 姜云飞, 凌应标. 基于STRIPS的领域知识提取策略[J].软件学报, 2007, 18(3): 490-504.
[10] 吴向军, 姜云飞, 凌应标. STRIPS规划领域中动作效果关系的研究[J]. 软件学报, 2007, 18(6): 1328-1349.
[11] 吴向军, 姜云飞, 凌应标. 智能规划器StepByStep的研究和开发[J]. 软件学报, 2008, 19(9): 2243-2264.
[12] Chen Yixin, Huang Ruoyun, Xing Zhao, et al. Long-distance Mutual Exclusion for Planning[J]. Artificial Intelligence, 2009, 173(2): 365-391. |