Computer Science ›› 2014, Vol. 41 ›› Issue (10): 266-269.doi: 10.11896/j.issn.1002-137X.2014.10.056
Previous Articles Next Articles
LAO Jia-qi,WEN Zhong-hua,WU Xiao-hui and LI Yang
[1] Weld D S.Recent advances in AI planning[J].AI Magazine,1999,20(2):93-123 [2] Cimatti A,Roved M,Traverso P.Strong planning in nondeterministic domains via model checking[C]∥Proceedings of the 4th International Conference on AI Planning Systems.1998:36-43 [3] Cimatti A,Roveri M.Conformant planning via symbolic model checking[J].Journal of Artificial Intelligence Research,2000,3(3):305-338 [4] Wen Zhong-hua,Huang Wei,Liu Ren-ren.Method of hierarchical states in planning based on model checking[J].Journal of Software,2009,20(4):858-869 [5] Cimatti A,Pistore M,Roveri M,et al.Weak,strong,and strong cyclic planning via symbolic model checking[J].Artificial Intelligence,2003,47(1):35-84 [6] 黄丽芳,文中华,胡雨隆,等.不确定规划中状态循环可达关系的求解方法[J].计算机应用研究,2013,0(9):2689-2693 [7] 胡雨隆,文中华,常青,等.不确定规划中状态非循环可达关系的求解方法[J].计算机仿真,2012,9(5):114-117 [8] Huang Wei,Wen Zhong-hua,Jiang Yun-fei,et al.Observationreduction for strong plans[C]∥Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07).2007:1930-1935 [9] 文中华,黄巍,刘任任,等.模型检测规划中的状态之间的可达关系研究[J].计算机学报,2012,5(8):1634-1643 [10] 谢希仁.计算机网络(第五版)[M].北京.电子工业出版社,2007:147-152 |
No related articles found! |
|