{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T06:10:08Z","timestamp":1747548608508,"version":"3.40.5"},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[1998,7,1]],"date-time":"1998-07-01T00:00:00Z","timestamp":899251200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,7,1]],"date-time":"1998-07-01T00:00:00Z","timestamp":899251200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Mathematics and Artificial Intelligence"],"published-print":{"date-parts":[[1998,7]]},"DOI":"10.1023\/a:1018995620232","type":"journal-article","created":{"date-parts":[[2003,2,19]],"date-time":"2003-02-19T22:07:13Z","timestamp":1045692433000},"page":"281-296","source":"Crossref","is-referenced-by-count":9,"title":["Tractable plan existence does not imply tractable plan generation"],"prefix":"10.1007","volume":"22","author":[{"given":"Peter","family":"Jonsson","sequence":"first","affiliation":[]},{"given":"Christer","family":"B\u00e4ckstr\u00f6m","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"325484_CR1","first-page":"83","volume-title":"Proc. 7th (US) National Conf. on Artif. Intell. (AAAI-88)","author":"J.A. Ambros-Ingerson","year":"1988","unstructured":"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."},{"issue":"1-2","key":"325484_CR2","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/0004-3702(94)00081-B","volume":"76","author":"C. B\u00e4ckstr\u00f6m","year":"1995","unstructured":"C. B\u00e4ckstr\u00f6m, Expressive equivalence of planning formalisms, Artif. Intell. 76(1-2) (1995) 17-34.","journal-title":"Artif. Intell."},{"key":"325484_CR3","first-page":"1599","volume-title":"Proc. 14th Int. Joint Conf. on Artif. Intell. (IJCAI-95)","author":"C. B\u00e4ckstr\u00f6m","year":"1995","unstructured":"C. B\u00e4ckstr\u00f6m 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."},{"issue":"4","key":"325484_CR4","doi-asserted-by":"crossref","first-page":"625","DOI":"10.1111\/j.1467-8640.1995.tb00052.x","volume":"11","author":"C. B\u00e4ckstr\u00f6m","year":"1995","unstructured":"C. B\u00e4ckstr\u00f6m and B. Nebel, Complexity results for SAS+ planning, Comput. Intell. 11(4) (1995) 625-655.","journal-title":"Comput. Intell."},{"key":"325484_CR5","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/0004-3702(94)90081-7","volume":"69","author":"T. Bylander","year":"1994","unstructured":"T. Bylander, The computational complexity of propositional STRIPS planning, Artif. Intell. 69 (1994) 165-204.","journal-title":"Artif. Intell."},{"key":"325484_CR6","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0004-3702(87)90092-0","volume":"32","author":"D. Chapman","year":"1987","unstructured":"D. Chapman, Planning for conjunctive goals, Artif. Intell. 32 (1987) 333-377.","journal-title":"Artif. Intell."},{"key":"325484_CR7","first-page":"1408","volume-title":"Proc. 13th Int. Joint Conf. on Artif. Intell. (IJCAI-93)","author":"M. Drummond","year":"1993","unstructured":"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."},{"key":"325484_CR8","volume-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"M. Garey","year":"1979","unstructured":"M. Garey and D. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness(Freeman, New York, 1979)."},{"key":"325484_CR9","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1016\/0020-0190(73)90020-3","volume":"2","author":"R.A. Jarvis","year":"1973","unstructured":"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.","journal-title":"Inf. Process. Lett."},{"key":"325484_CR10","first-page":"998","volume-title":"Proc. 12th (US) National Conf. on Artif. Intell. (AAAI-94)","author":"P. Jonsson","year":"1994","unstructured":"P. Jonsson and C. B\u00e4ckstr\u00f6m, 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."},{"key":"325484_CR11","unstructured":"P. Jonsson and C. B\u00e4ckstr\u00f6m, Incremental planning, in: New Directions in AI Planning: Proc. 3rd Eur. WS. Planning (EWSP'95)(IOS Press, 1995) pp. 79-90."},{"key":"325484_CR12","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/0004-3702(94)90069-8","volume":"68","author":"C.A. Knoblock","year":"1994","unstructured":"C.A. Knoblock, Automatically generating abstractions for planning, Artif. Intell. 68 (1994) 243-302.","journal-title":"Artif. Intell."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018995620232.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1018995620232\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018995620232.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:40:33Z","timestamp":1747546833000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1018995620232"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,7]]},"references-count":12,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1998,7]]}},"alternative-id":["325484"],"URL":"https:\/\/doi.org\/10.1023\/a:1018995620232","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"type":"print","value":"1012-2443"},{"type":"electronic","value":"1573-7470"}],"subject":[],"published":{"date-parts":[[1998,7]]}}}