Computer Science ›› 2013, Vol. 40 ›› Issue (11): 291-294.
Previous Articles Next Articles
WANG Quan,WEN Zhong-hua,WU Xuan and TANG Jie
[1] Ghallab M,Nau D,Traverso P.Automated Planning Theory and Practice[M].Morgan Kaufmann Publishers,2004 [2] Cimatti A,Roved M,Traverso P.Strong planning in nondeter-ministic 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,13:305-338 [4] Bertoli P,Cimatti A,Roveri M,et al.Planning in nondeterministic domains under partial observability via symbolic model checking[C]∥Proceedings of the 17th Int’l Joint Conf.on Artificial Intelligence(IJCAI 2001).Morgan Kaufmann Publishers,2001:473-478 [5] Pistore M,Traverso P.Planning as model checking for extended goals in nondeterministic domains[C]∥Proceedings of the 17th International Joint Conference on Artificial Intelligence(IJCAI’2001).2001:479-484 [6] Cimatti A,Pistore M,Roveri M,et al.Weak,strong,and strong cyclic planning via symbolic model checking[J].Artificial Intelligence,2003,47(1/2):35-84 [7] Daniele M,Traverso P,Vardi M Y.Strong cyclic planning revisited[C]∥Proceedings of the 5th European Conf.on Planning(ECP’99).London:Springer-Verlag,1999:35-48 [8] Bertoli P,Cimatti A,Roveri M,et al.Strong planning under partial observability[J].Artificial Intelligence,2006,170:337-384 [9] Rintanen J.Backward plan construction under partial observ-ability[C]∥Proceedings of the 6th Int’l Conf.on Artificial Intelligence Planning Systems(AIPS’2002).AAAI Press,2002:173-182 [10] Cimatti A,Roveri M.Conformant planning via model checking and heuristic search[J].Artificial Intelligence,2004,159(1/2):127-206 [11] Kuter U,Nau D,Reisner E,et al.Using classical planner tosolve nondeterministic[C]∥Proceedings of the 18th International Conference on Automated Planning and Scheduling(ICAPS’2008).AAAI Press,2008:190-197 [12] Fu Ji-cheng,Ng V,Bastani F B,et al.Simple and Fast Strong Planning For Fully-Observable Nondeterministic Planning Problems[C]∥Proceedings of the 22th Int’l Joint Conf.on Artificial Intelligence(IJCAI 2011).Morgan Kaufmann Publishers,2011:473-478 [13] 文中华,黄巍,刘任任,等.模型检测规划中的状态分层方法[J].软件学报,2009,20(4):858-869 |
No related articles found! |
|