{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:07:14Z","timestamp":1762099634388},"reference-count":37,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[1995,7,1]],"date-time":"1995-07-01T00:00:00Z","timestamp":804556800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,25]],"date-time":"2013-07-25T00:00:00Z","timestamp":1374710400000},"content-version":"vor","delay-in-days":6599,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[1995,7]]},"DOI":"10.1016\/0004-3702(94)00080-k","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T12:57:34Z","timestamp":1027601854000},"page":"75-88","source":"Crossref","is-referenced-by-count":78,"title":["Complexity, decidability and undecidability results for domain-independent planning"],"prefix":"10.1016","volume":"76","author":[{"given":"Kutluhan","family":"Erol","sequence":"first","affiliation":[]},{"given":"Dana S.","family":"Nau","sequence":"additional","affiliation":[]},{"given":"V.S.","family":"Subrahmanian","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0004-3702(94)00080-K_BIB1","author":"Aho","year":"1976"},{"key":"10.1016\/0004-3702(94)00080-K_BIB2","doi-asserted-by":"crossref","DOI":"10.1111\/j.1467-8640.1991.tb00393.x","article-title":"Planning in polynomial time: the sas-pubs class","volume":"7","author":"B\u00e4ckstr\u00f6m","year":"1991","journal-title":"Comput. Intell."},{"key":"10.1016\/0004-3702(94)00080-K_BIB3","series-title":"Proceedings IJCAI-91","article-title":"Complexity results for planning","author":"Bylander","year":"1991"},{"key":"10.1016\/0004-3702(94)00080-K_BIB4","series-title":"Proceedings First International Conference on AI Planning Systems","article-title":"Complexity results for extended planning","author":"Bylander","year":"1992"},{"key":"10.1016\/0004-3702(94)00080-K_BIB5","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/0004-3702(87)90092-0","article-title":"Planning for conjunctive goals","volume":"32","author":"Chapman","year":"1987","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)00080-K_BIB6","author":"Charniak","year":"1985"},{"key":"10.1016\/0004-3702(94)00080-K_BIB7","series-title":"Proceedings AAAI-91","first-page":"623","article-title":"On the NP-hardness of blocks world","author":"Chenoweth","year":"1991"},{"key":"10.1016\/0004-3702(94)00080-K_BIB8","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1016\/0004-3702(88)90087-2","article-title":"Reasoning about partially ordered events","volume":"36","author":"Dean","year":"1988","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)00080-K_BIB9","unstructured":"K. Erol, J.A. Hendler and D.S. Nau, Complexity results for hierarchical task-network planning (Submitted)."},{"key":"10.1016\/0004-3702(94)00080-K_BIB10","article-title":"Complexity, decidability and undecidability results for domain-independent planning","author":"Erol","year":"1991"},{"key":"10.1016\/0004-3702(94)00080-K_BIB11","series-title":"Proceedings First International Conference on A1 Planning Systems","first-page":"222","article-title":"When is planning decidable?","author":"Erol","year":"1992"},{"key":"10.1016\/0004-3702(94)00080-K_BIB12","series-title":"Proceedings AAAI Spring Symposium","article-title":"Toward a general framework for hierarchical task-network planning","author":"Erol","year":"1993"},{"issue":"3\/4","key":"10.1016\/0004-3702(94)00080-K_BIB13","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","article-title":"STRIPS: a new approach to the application of theorem proving to problem solving","volume":"2","author":"Fikes","year":"1971","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)00080-K_BIB14","author":"Garey","year":"1979"},{"key":"10.1016\/0004-3702(94)00080-K_BIB15","author":"Graham","year":"1989"},{"key":"10.1016\/0004-3702(94)00080-K_BIB16","series-title":"Proceedings AAAI-9I","article-title":"Complexity results for blocks-world planning","author":"Gupta","year":"1991"},{"issue":"2\u20133","key":"10.1016\/0004-3702(94)00080-K_BIB17","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0004-3702(92)90028-V","article-title":"On the complexity of blocks-world planning","volume":"56","author":"Gupta","year":"1992","journal-title":"Artif. Intell."},{"issue":"1","key":"10.1016\/0004-3702(94)00080-K_BIB18","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/0004-3702(87)90051-8","article-title":"Planning as search: a quantitative approach","volume":"33","author":"Korf","year":"1987","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)00080-K_BIB19","series-title":"Readings in Planning","first-page":"523","article-title":"On the semantics of STRIPS","author":"Lifschitz","year":"1990"},{"key":"10.1016\/0004-3702(94)00080-K_BIB20","series-title":"Proceedings AAAI-91","first-page":"634","article-title":"Systematic nonlinear planning","author":"McAllester","year":"1991"},{"key":"10.1016\/0004-3702(94)00080-K_BIB21","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1002\/int.4550060404","article-title":"Regression planning","volume":"6","author":"McDermott","year":"1991","journal-title":"Int. J. Intell. Syst."},{"key":"10.1016\/0004-3702(94)00080-K_BIB22","series-title":"Proceedings IJCAI-91","article-title":"Commitment strategies in planning","author":"Minton","year":"1991"},{"key":"10.1016\/0004-3702(94)00080-K_BIB23","series-title":"Proceedings AAAI Spring Symposium","article-title":"On the complexity of possible truth","author":"Nau","year":"1993"},{"key":"10.1016\/0004-3702(94)00080-K_BIB24","author":"Nilsson","year":"1980"},{"key":"10.1016\/0004-3702(94)00080-K_BIB25","doi-asserted-by":"crossref","first-page":"356","DOI":"10.1111\/j.1467-8640.1988.tb00285.x","article-title":"Synthesizing plans that contain actions with context-dependent effects","volume":"4","author":"Pednault","year":"1988","journal-title":"Comput. Intell."},{"key":"10.1016\/0004-3702(94)00080-K_BIB26","series-title":"Proceedings First International Conference on AI Planning Systems","first-page":"189","article-title":"Conditional nonlinear planning","author":"Peot","year":"1992"},{"key":"10.1016\/0004-3702(94)00080-K_BIB27","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0004-3702(74)90026-5","article-title":"Planning in a hierarchy of abstraction spaces","volume":"5","author":"Sacerdoti","year":"1974","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)00080-K_BIB28_1","series-title":"Readings in Planning","first-page":"162","article-title":"The nonlinear nature of plans","author":"Sacerdoti","year":"1990"},{"key":"10.1016\/0004-3702(94)00080-K_BIB28_2","series-title":"Proceedings IJCAI-75","first-page":"206","author":"Sacerdoti","year":"1975"},{"key":"10.1016\/0004-3702(94)00080-K_BIB29","author":"Shoenfield","year":"1967"},{"key":"10.1016\/0004-3702(94)00080-K_BIB30","article-title":"Database updates and AI planning domains","author":"Subrahmanian","year":"1993"},{"key":"10.1016\/0004-3702(94)00080-K_BIB31","series-title":"Readings in Planning","first-page":"26","article-title":"A review of AI planning techniques","author":"Tate","year":"1990"},{"key":"10.1016\/0004-3702(94)00080-K_BIB32","series-title":"Proceedings IJCAI-77","article-title":"Generating project networks","author":"Tate","year":"1977"},{"key":"10.1016\/0004-3702(94)00080-K_BIB33_1","series-title":"Readings in Planning","first-page":"319","article-title":"Domain-independent planning: representation and plan generation","author":"Wilkins","year":"1990"},{"issue":"3","key":"10.1016\/0004-3702(94)00080-K_BIB33_2","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0004-3702(84)90053-5","volume":"22","author":"Wilkins","year":"1984","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)00080-K_BIB34","series-title":"Proceedings DARPA Workshop on Innovative Approaches to Planning, Scheduling and Control","article-title":"Optimization of multiple-goal plans with limited interaction","author":"Yang","year":"1990"},{"issue":"2","key":"10.1016\/0004-3702(94)00080-K_BIB35","doi-asserted-by":"crossref","first-page":"648","DOI":"10.1111\/j.1467-8640.1992.tb00383.x","article-title":"Merging separately generated plans with restricted interactions","volume":"8","author":"Yang","year":"1992","journal-title":"Comput. Intell."}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:000437029400080K?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:000437029400080K?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,25]],"date-time":"2019-04-25T08:27:57Z","timestamp":1556180877000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/000437029400080K"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,7]]},"references-count":37,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1995,7]]}},"alternative-id":["000437029400080K"],"URL":"https:\/\/doi.org\/10.1016\/0004-3702(94)00080-k","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1995,7]]}}}