A structured approach for synthesizing planners from specifications
暂无分享,去创建一个
Subbarao Kambhampati | Amol Dattatraya Mali | Biplav Srivastava | S. Kambhampati | B. Srivastava | A. Mali
[1] Jean-Louis Laurière,et al. A Language and a Program for Stating and Solving Combinatorial Problems , 1978, Artif. Intell..
[2] Subbarao Kambhampati,et al. Planning as Refinement Search: A Unified Framework for Evaluating Design Tradeoffs in Partial-Order Planning , 1995, Artif. Intell..
[3] Peter Norvig,et al. Artificial Intelligence: A Modern Approach , 1995 .
[4] Daniel S. Weld,et al. UCPOP: A Sound, Complete, Partial Order Planner for ADL , 1992, KR.
[5] S. Kambhampati,et al. Universal classical planner: an algorithm for unifying state-space and plan-space planning , 1996 .
[6] Richard Fikes,et al. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.
[7] Carla P. Gomes. PLANNING IN KIDS , 1995 .
[8] Douglas R. Smith,et al. Transformational approach to transportation scheduling , 1993, Proceedings of 8th Knowledge-Based Software Engineering Conference.
[9] Avrim Blum,et al. Fast Planning Through Planning Graph Analysis , 1995, IJCAI.
[10] Subbarao Kambhampati,et al. Synthesizing Customized Planners from Speci cationsBiplav Srivastava biplav , 2008 .
[11] Subbarao Kambhampati,et al. Refinement Planning as a Unifying Framework for Plan Synthesis , 1997, AI Mag..
[12] Bernhard Nebel,et al. COMPLEXITY RESULTS FOR SAS+ PLANNING , 1995, Comput. Intell..
[13] Eugene Fink,et al. Formalizing the PRODIGY planning algorithm , 1996 .
[14] Masazumi Yoshikawa,et al. A Constraint-Based Approach to High-School Timetabling Problems: A Case Study , 1994, AAAI.
[15] David A. McAllester,et al. Systematic Nonlinear Planning , 1991, AAAI.
[16] Anthony Barrett,et al. Partial-Order Planning: Evaluating Possible Efficiency Gains , 1994, Artificial Intelligence.