Tractable plan existence does not imply tractable plan generation

Annals of Mathematics and Artificial Intelligence

Volumn 22, Issue 3-4, 1998, Pages 281-296

  Jonsson, Peter ^a   Bäckström, Christ Er ^a  

^a LINKÖPING UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 27144487482     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1018995620232     Document Type: Article

References (12)

1. J.A. Ambros-Ingerson and S. Steel, Integrating planning, execution and monitoring, in: Proc. 7th (US) National Conf. on Artif. Intell. (AAAI-88) (Morgan Kaufmann, San Mateo, CA, 1988) pp. 83-88.
2. C. Bäckström, Expressive equivalence of planning formalisms, Artif. Intell. 76(1-2) (1995) 17-34.
3. C. Bäckström and P. Jonsson, Planning with abstraction hierarchies can be exponentially less efficient, in: Proc. 14th Int. Joint Conf. on Artif. Intell. (IJCAI-95) (Morgan Kaufmann, San Mateo, CA, 1995) pp. 1599-1604.
4. + planning, Comput. Intell. 11(4) (1995) 625-655.
5. T. Bylander, The computational complexity of propositional STRIPS planning, Artif. Intell. 69 (1994) 165-204.
6. D. Chapman, Planning for conjunctive goals, Artif. Intell. 32 (1987) 333-377.
7. M. Drummond, K. Swanson, J. Bresina and R. Levinson, Reaction-first search, in: Proc. 13th Int. Joint Conf. on Artif. Intell. (IJCAI-93) (Morgan Kaufmann, San Mateo, CA, 1993) pp. 1408-1413.
8. M. Garey and D. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness (Freeman, New York, 1979).
9. R.A. Jarvis, On the identification of the convex hull of a finite set of points in the plane, Inf. Process. Lett. 2 (1973) 18-21.
10. P. Jonsson and C. Bäckström, Tractable planning with state variables by exploiting structural restrictions, in: Proc. 12th (US) National Conf. on Artif. Intell. (AAAI-94) (Morgan Kaufmann, San Mateo, CA, 1994) pp. 998-1003.
11. P. Jonsson and C. Bäckström, Incremental planning, in: New Directions in AI Planning: Proc. 3rd Eur. WS. Planning (EWSP'95) (IOS Press, 1995) pp. 79-90.
12. C.A. Knoblock, Automatically generating abstractions for planning, Artif. Intell. 68 (1994) 243-302.