{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,18]],"date-time":"2026-04-18T07:18:55Z","timestamp":1776496735787,"version":"3.51.2"},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1996,3,1]],"date-time":"1996-03-01T00:00:00Z","timestamp":825638400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[1996,3]]},"DOI":"10.1007\/bf02136175","type":"journal-article","created":{"date-parts":[[2005,9,15]],"date-time":"2005-09-15T06:55:58Z","timestamp":1126767358000},"page":"69-93","source":"Crossref","is-referenced-by-count":81,"title":["Complexity results for HTN planning"],"prefix":"10.1007","volume":"18","author":[{"given":"Kutluhan","family":"Erol","sequence":"first","affiliation":[]},{"given":"James","family":"Hendler","sequence":"additional","affiliation":[]},{"given":"Dana S.","family":"Nau","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF02136175_CR1","volume-title":"Proceedings of the 9th European Conference on Artificial Intelligence","author":"F. Baader","year":"1990","unstructured":"F. Baader, A formal definition for expressive power of knowledge representation languages, in:Proceedings of the 9th European Conference on Artificial Intelligence (Pitman, Stockholm, Sweden, Aug. 1990)."},{"key":"BF02136175_CR2","doi-asserted-by":"crossref","unstructured":"T. Bylander, Complexity results for planning,IJCAI-91 (1991).","DOI":"10.1016\/B978-0-08-049944-4.50008-2"},{"key":"BF02136175_CR3","doi-asserted-by":"crossref","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,Artificial Intelligence 32 (1987) 333\u2013378.","journal-title":"Artificial Intelligence"},{"key":"BF02136175_CR4","unstructured":"M. Drummond, Refining and extending the procedural net, in:Proc. IJCAI-85 (1985)."},{"key":"BF02136175_CR5","unstructured":"K. Erol, D. Nau and V.S. Subrahmanian, Complexity, decidability and undecidability results for domain-independent planning,Artificial Intelligence (to appear). A more detailed version is available as Tech. Report CS-TR-2797, UMIACS-TR-91-154, SRC-TR-91-96, University of Maryland, College Park, MD (1992)."},{"key":"BF02136175_CR6","unstructured":"K. Erol, J. Hendler and D. Nau, Semanties for hierarchical task network planning, Technical Report CS-TR-3239, UMIACS-TR-94-31, Computer Science Dept., University of Maryland (March 1994)."},{"key":"BF02136175_CR7","doi-asserted-by":"crossref","unstructured":"R.E. Fikes and N.J. Nilsson, STRIPS: a new approach to the application of theorem proving to problem solving,Artificial Intelligence 2(3\/4) (1971).","DOI":"10.1016\/0004-3702(71)90010-5"},{"key":"BF02136175_CR8","volume-title":"Introduction to Automata Theory, Languages and Computation","author":"Hopcroft","year":"1979","unstructured":"Hopcroft and Ullman,Introduction to Automata Theory, Languages and Computation (Addison-Wesley, California, 1979)."},{"key":"BF02136175_CR9","doi-asserted-by":"crossref","unstructured":"S. Kambhampati and J. Hendler, A validation structure based theory of plan modification and reuse,Artificial Intelligence (May 1992).","DOI":"10.1016\/0004-3702(92)90056-4"},{"key":"BF02136175_CR10","doi-asserted-by":"crossref","unstructured":"A.L. Lansky, Localized event-based reasoning for multiagent domains,Computational Intelligence Journal (1988).","DOI":"10.1111\/j.1467-8640.1988.tb00282.x"},{"key":"BF02136175_CR11","unstructured":"E.D. Sacerdoti, The nonlinear nature of plans, in:Proceedings of IJCAI (1975) pp. 206\u2013214."},{"key":"BF02136175_CR12","unstructured":"A. Tate, Generating project networks, in:Proceedings of IJCAI (1977) pp. 888\u2013889."},{"issue":"3","key":"BF02136175_CR13","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1109\/TPAMI.1983.4767389","volume":"5","author":"S.A. Vere","year":"1983","unstructured":"S.A. Vere, Planning in time: windows and durations for activities and goals,IEEE Transactions on Pattern Analysis and Machine Intelligence PAMI 5(3) (1983) 246\u2013247.","journal-title":"IEEE Transactions on Pattern Analysis and Machine Intelligence PAMI"},{"key":"BF02136175_CR14","unstructured":"D. Wilkins,Practical Planning: Extending the Classical AI Planning Paradigm (Morgan-Kaufmann, 1988)."},{"key":"BF02136175_CR15","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1111\/j.1467-8640.1990.tb00126.x","volume":"6","author":"Q. Yang","year":"1990","unstructured":"Q. Yang, Formalizing planning knowledge for hierarchical planning,Computational Intelligence 6 (1990) 12\u201324.","journal-title":"Computational Intelligence"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02136175.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02136175\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02136175","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,9]],"date-time":"2020-04-09T13:55:15Z","timestamp":1586440515000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02136175"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,3]]},"references-count":15,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1996,3]]}},"alternative-id":["BF02136175"],"URL":"https:\/\/doi.org\/10.1007\/bf02136175","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,3]]}}}