Synthesizing customized planners from specifications

Journal of Artificial Intelligence Research

Volumn 8, Issue , 1998, Pages 93-128

  Srivastava, Biplav ^a   Kambhampati, Subbarao ^a  

^a AZ 85281   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0343153354     PISSN: 10769757     EISSN: None     Source Type: Journal    
DOI: 10.1613/jair.428     Document Type: Article

References (5)

1. Bacchus, F., & Kabanza, F. (1995). Using temporal logic to control search in a forward chaining planner. New Directions in AI Planning: EWSP 95, IOS Press, 141-153.
2. Backstrom, C., & Nebel, B. (1993). Complexity results in SAS+ planning. Research Report, Dept Comp.and Info Sc., Linkoping Univ., Sweden.
3. Barrett, A., & Weld, D. (1994). Partial order planning: Evaluating possible efficiency gains. Artificial Intelligence, 67(1).
4. Blum, A., & Furst, M. (1995). Fast planning through planning graph analysis. Proc IJCAI-95, 1636-1642.
5. Yoshikawa, M., Kaneko, K., Nomura, Y., & Watanabe, M. (1994). A constraint-based approach to high school timetabling problems: A case study. Proc. NCAI-94, 1111-1116.