{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T21:44:48Z","timestamp":1725745488198},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642409417"},{"type":"electronic","value":"9783642409424"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40942-4_1","type":"book-chapter","created":{"date-parts":[[2013,8,20]],"date-time":"2013-08-20T03:43:31Z","timestamp":1376970211000},"page":"1-12","source":"Crossref","is-referenced-by-count":4,"title":["Using State-Based Planning Heuristics for Partial-Order Causal-Link Planning"],"prefix":"10.1007","author":[{"given":"Pascal","family":"Bercher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Geier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Susanne","family":"Biundo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Bercher, P., Biundo, S.: Encoding partial plans for heuristic search. In: Proceedings of the 4th Workshop on Knowledge Engineering for Planning and Scheduling (KEPS 2013), pp. 11\u201315 (2013)"},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/S0004-3702(96)00047-1","volume":"90","author":"A.L. Blum","year":"1997","unstructured":"Blum, A.L., Furst, M.L.: Fast planning through planning graph analysis. Artificial Intelligence\u00a090, 281\u2013300 (1997)","journal-title":"Artificial Intelligence"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Coles, A., Coles, A., Fox, M., Long, D.: Forward-chaining partial-order planning. In: Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS 2010), pp. 42\u201349. AAAI Press (2010)","DOI":"10.1609\/icaps.v20i1.13403"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/11691617_2","volume-title":"Model Checking Software","author":"K. Dr\u00e4ger","year":"2006","unstructured":"Dr\u00e4ger, K., Finkbeiner, B., Podelski, A.: Directed model checking with distance-preserving abstractions. In: Valmari, A. (ed.) SPIN 2006. LNCS, vol.\u00a03925, pp. 19\u201334. Springer, Heidelberg (2006)"},{"key":"1_CR5","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R.E. Fikes","year":"1971","unstructured":"Fikes, R.E., Nilsson, N.J.: STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence\u00a02, 189\u2013208 (1971)","journal-title":"Artificial Intelligence"},{"key":"1_CR6","unstructured":"Haslum, P., Geffner, H.: Admissible heuristics for optimal planning. In: Proceedings of the 5th International Conference on Artificial Intelligence Planning Systems (AIPS 2000), pp. 140\u2013149. AAAI Press (2000)"},{"key":"1_CR7","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/s10462-007-9049-y","volume":"26","author":"M. Helmert","year":"2006","unstructured":"Helmert, M.: The fast downward planning system. Journal of Artificial Intelligence Research (JAIR)\u00a026, 191\u2013246 (2006)","journal-title":"Journal of Artificial Intelligence Research (JAIR)"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Helmert, M., Domshlak, C.: Landmarks, critical paths and abstractions: Whats the difference anyway? In: Proceedings of the 19th International Conference on Automated Planning and Scheduling (ICAPS 2009), vol.\u00a09, pp. 162\u2013169 (2009)","DOI":"10.1609\/icaps.v19i1.13370"},{"key":"1_CR9","unstructured":"Helmert, M., Haslum, P., Hoffmann, J.: Flexible abstraction heuristics for optimal sequential planning. In: Proceedings of the 17th International Conference on Automated Planning and Scheduling (ICAPS 2007), pp. 176\u2013183 (2007)"},{"key":"1_CR10","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1613\/jair.855","volume":"14","author":"J. Hoffmann","year":"2001","unstructured":"Hoffmann, J., Nebel, B.: The FF planning system: Fast plan generation through heuristic search. Journal of Artificial Intelligence Research (JAIR)\u00a014, 253\u2013302 (2001)","journal-title":"Journal of Artificial Intelligence Research (JAIR)"},{"key":"1_CR11","unstructured":"Joslin, D., Pollack, M.E.: Least-cost flaw repair: A plan refinement strategy for partial-order planning. In: Proceedings of the 12th National Conference on Artificial Intelligence (AAAI 1994), pp. 1004\u20131009. AAAI Press (1994)"},{"issue":"2","key":"1_CR12","first-page":"67","volume":"18","author":"S. Kambhampati","year":"1997","unstructured":"Kambhampati, S.: Refinement planning as a unifying framework for plan synthesis. AI Magazine\u00a018(2), 67\u201398 (1997)","journal-title":"AI Magazine"},{"key":"1_CR13","unstructured":"McAllester, D., Rosenblitt, D.: Systematic nonlinear planning. In: Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI 1991), pp. 634\u2013639. AAAI Press (1991)"},{"key":"1_CR14","unstructured":"Muise, C., McIlraith, S.A., Beck, J.C.: Monitoring the execution of partial-order plans via regression. In: Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), pp. 1975\u20131982. AAAI Press (2011)"},{"issue":"1","key":"1_CR15","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0004-3702(94)90005-1","volume":"66","author":"B. Nebel","year":"1994","unstructured":"Nebel, B., B\u00e4ckstr\u00f6m, C.: On the computational complexity of temporal projection, planning, and plan validation. Artificial Intelligence\u00a066(1), 125\u2013160 (1994)","journal-title":"Artificial Intelligence"},{"key":"1_CR16","unstructured":"Nguyen, X., Kambhampati, S.: Reviving partial order planning. In: Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI 2001), pp. 459\u2013466. Morgan Kaufmann (2001)"},{"key":"1_CR17","unstructured":"Penberthy, J.S., Weld, D.S.: UCPOP: A sound, complete, partial order planner for ADL. In: Proceedings of the third International Conference on Knowledge Representation and Reasoning, pp. 103\u2013114. Morgan Kaufmann (1992)"},{"key":"1_CR18","unstructured":"Ram\u00edrez, M., Geffner, H.: Plan recognition as planning. In: Boutilier, C. (ed.) Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), pp. 1778\u20131783. AAAI Press (July 2009)"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Seegebarth, B., M\u00fcller, F., Schattenberg, B., Biundo, S.: Making hybrid plans more clear to human users \u2013 a formal approach for generating sound explanations. In: Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS 2012), pp. 225\u2013233. AAAI Press (June 2012)","DOI":"10.1609\/icaps.v22i1.13503"},{"issue":"3","key":"1_CR20","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1016\/j.artint.2005.08.004","volume":"170","author":"V. Vidal","year":"2006","unstructured":"Vidal, V., Geffner, H.: Branching and pruning: An optimal temporal POCL planner based on constraint programming. Artificial Intelligence\u00a0170(3), 298\u2013335 (2006)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"1_CR21","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1609\/aimag.v32i1.2341","volume":"32","author":"D.S. Weld","year":"2011","unstructured":"Weld, D.S.: Systematic nonlinear planning: A commentary. AI Magazine\u00a032(1), 101\u2013103 (2011)","journal-title":"AI Magazine"},{"key":"1_CR22","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1613\/jair.1136","volume":"20","author":"H.L.S. Younes","year":"2003","unstructured":"Younes, H.L.S., Simmons, R.G.: VHPOP: Versatile heuristic partial order planner. Journal of Artificial Intelligence Research (JAIR)\u00a020, 405\u2013430 (2003)","journal-title":"Journal of Artificial Intelligence Research (JAIR)"}],"container-title":["Lecture Notes in Computer Science","KI 2013: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40942-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,3]],"date-time":"2023-07-03T23:21:36Z","timestamp":1688426496000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40942-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642409417","9783642409424"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40942-4_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}