{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T03:22:29Z","timestamp":1742959349145,"version":"3.40.3"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030385606"},{"type":"electronic","value":"9783030385613"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-38561-3_6","type":"book-chapter","created":{"date-parts":[[2020,3,25]],"date-time":"2020-03-25T18:02:52Z","timestamp":1585159372000},"page":"107-123","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Modeling Planning Tasks: Representation Matters"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9713-7748","authenticated-orcid":false,"given":"Luk\u00e1\u0161","family":"Chrpa","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,3,26]]},"reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.artint.2018.10.006","volume":"272","author":"JS Aguas","year":"2019","unstructured":"Aguas, J.S., Celorrio, S.J., Jonsson, A.: Computing programs for generalized planning using a classical planner. Artif. Intell. 272, 52\u201385 (2019). https:\/\/doi.org\/10.1016\/j.artint.2018.10.006","journal-title":"Artif. Intell."},{"doi-asserted-by":"crossref","unstructured":"Areces, C., Bustos, F., Dominguez, M., Hoffmann, J.: Optimizing planning domains by automatic action schema splitting. In: Proceedings of ICAPS (2014)","key":"6_CR2","DOI":"10.1609\/icaps.v24i1.13622"},{"unstructured":"Armano, G., Cherchi, G., Vargiu, E.: Automatic generation of macro-operators from static domain analysis. In: Proceedings of the 16th European Conference on Artificial Intelligence, ECAI\u20192004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22\u201327, 2004. pp. 955\u2013956 (2004)","key":"6_CR3"},{"doi-asserted-by":"crossref","unstructured":"Asai, M., Fukunaga, A.: Solving large-scale planning problems by decomposition and macro generation. In: ICAPS. pp. 16\u201324 (2015)","key":"6_CR4","DOI":"10.1609\/icaps.v25i1.13703"},{"unstructured":"Bacchus, F., Kabanza, F.: Using temporal logics to express search control knowledge for planning. Artificial Intelligence 116(1\u20132), 123\u2013191 (2000). https:\/\/doi.org\/http:\/\/dx.doi.org\/10.1016\/S0004-3702(99)00071-5 , http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0004370299000715","key":"6_CR5"},{"unstructured":"Baier, J.A., Fritz, C., McIlraith, S.A.: Exploiting procedural domain control knowledge in state-of-the-art planners. In: Proceedings of ICAPS. pp. 26\u201333. Providence, Rhode Island (September 22\u201326 2007), http:\/\/www.cs.toronto.edu\/~jabaier\/publications\/bai-fri-mci-icaps07.pdf","key":"6_CR6"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"581","DOI":"10.1613\/jair.1696","volume":"24","author":"A Botea","year":"2005","unstructured":"Botea, A., Enzenberger, M., M\u00fcller, M., Schaeffer, J.: Macro-FF: improving AI planning with automatically learned macro-operators. Journal of Artificial Intelligence Research (JAIR) 24, 581\u2013621 (2005)","journal-title":"Journal of Artificial Intelligence Research (JAIR)"},{"doi-asserted-by":"crossref","unstructured":"Carbonell, J., Etzioni, O., Gil, Y., Joseph, R., Knoblock, C., Minton, S., Veloso, M.: Prodigy: An integrated architecture for planning and learning. SIGART Bull. 2(4), 51\u201355 (Jul 1991). https:\/\/doi.org\/10.1145\/122344.122353 , http:\/\/doi.acm.org\/10.1145\/122344.122353","key":"6_CR8","DOI":"10.1145\/122344.122353"},{"unstructured":"Chrpa, L., Bart\u00e1k, R.: Enhancing domain-independent planning by transition-based domain control knowledge. In: The 33rd Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG) (2015)","key":"6_CR9"},{"doi-asserted-by":"crossref","unstructured":"Chrpa, L., Vallati, M.: Improving domain-independent planning via critical section macro-operators. In: Proceedings of Thirty-Third AAAI Conference on Artificial Intelligence (2019)","key":"6_CR10","DOI":"10.1609\/aaai.v33i01.33017546"},{"doi-asserted-by":"crossref","unstructured":"Chrpa, L., Vallati, M., McCluskey, T.L.: Mum: A technique for maximising the utility of macro-operators by constrained generation and use. In: Proceedings of the International Conference on Automated Planning and Scheduling, ICAPS. pp. 65\u201373 (2014)","key":"6_CR11","DOI":"10.1609\/icaps.v24i1.13626"},{"unstructured":"Chrpa, L., Vallati, M., McCluskey, T.L.: On the online generation of effective macro-operators. In: Proceedings of IJCAI. pp. 1544\u20131550 (2015)","key":"6_CR12"},{"issue":"3","key":"6_CR13","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1017\/S0269888910000159","volume":"25","author":"L Chrpa","year":"2010","unstructured":"Chrpa, L.: Generation of macro-operators via investigation of action dependencies in plans. Knowledge Eng. Review 25(3), 281\u2013297 (2010). https:\/\/doi.org\/10.1017\/S0269888910000159","journal-title":"Knowledge Eng. Review"},{"unstructured":"Chrpa, L., Bart\u00e1k, R.: Reformulating planning problems by eliminating unpromising actions. In: Eighth Symposium on Abstraction, Reformulation, and Approximation, SARA 2009, Lake Arrowhead, California, USA, 8\u201310 August 2009 (2009)","key":"6_CR14"},{"unstructured":"Chrpa, L., Bart\u00e1k, R.: Guiding planning engines by transition-based domain control knowledge. In: Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25\u201329, 2016. pp. 545\u2013548 (2016), http:\/\/www.aaai.org\/ocs\/index.php\/KR\/KR16\/paper\/view\/12806","key":"6_CR15"},{"issue":"1","key":"6_CR16","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1609\/aimag.v38i1.2719","volume":"38","author":"L Chrpa","year":"2017","unstructured":"Chrpa, L., McCluskey, T.L., Vallati, M., Vaquero, T.: The fifth international competition on knowledge engineering for planning and scheduling: Summary and trends. AI Magazine 38(1), 104\u2013106 (2017), http:\/\/www.aaai.org\/ojs\/index.php\/aimagazine\/article\/view\/2719","journal-title":"AI Magazine"},{"unstructured":"Chrpa, L., Siddiqui, F.H.: Exploiting block deordering for improving planners efficiency. In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI. pp. 1537\u20131543 (2015)","key":"6_CR17"},{"issue":"6","key":"6_CR18","doi-asserted-by":"publisher","first-page":"831","DOI":"10.1080\/0952813X.2018.1509377","volume":"30","author":"L Chrpa","year":"2018","unstructured":"Chrpa, L., Vallati, M., McCluskey, T.L.: Outer entanglements: a general heuristic technique for improving the efficiency of planning algorithms. J. Exp. Theor. Artif. Intell. 30(6), 831\u2013856 (2018). https:\/\/doi.org\/10.1080\/0952813X.2018.1509377","journal-title":"J. Exp. Theor. Artif. Intell."},{"unstructured":"Coles, A., Fox, M., Smith, A.: Online identification of useful macro-actions for planning. In: Proceedings of ICAPS. pp. 97\u2013104 (2007)","key":"6_CR19"},{"unstructured":"Dawson, C., Sikl\u00f3ssy, L.: The role of preprocessing in problem solving systems. In: Proceedings of IJCAI. pp. 465\u2013471 (1977)","key":"6_CR20"},{"unstructured":"Dulac, A., Pellier, D., Fiorino, H., Janiszek, D.: Learning useful macro-actions for planning with n-grams. In: 25th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2013, Herndon, VA, USA, November 4\u20136, 2013. pp. 803\u2013810 (2013)","key":"6_CR21"},{"doi-asserted-by":"publisher","unstructured":"Fuentetaja, R., de la Rosa, T.: Compiling irrelevant objects to counters. special case of creation planning. AI Commun. 29(3), 435\u2013467 (2016). https:\/\/doi.org\/10.3233\/AIC-150692","key":"6_CR22","DOI":"10.3233\/AIC-150692"},{"unstructured":"Gerevini, A., Saetti, A., Serina, I.: Planning with numerical expressions in LPG. In: Proceedings of the 16th European Conference on Artificial Intelligence, ECAI\u20192004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22\u201327, 2004. pp. 667\u2013671 (2004)","key":"6_CR23"},{"unstructured":"Haslum, P., Jonsson, P.: Planning with reduced operator sets. In: Proceedings of AIPS. pp. 150\u2013158 (2000)","key":"6_CR24"},{"issue":"3","key":"6_CR25","first-page":"57","volume":"22","author":"J Hoffmann","year":"2001","unstructured":"Hoffmann, J.: FF: the fast-forward planning system. AI Magazine 22(3), 57\u201362 (2001), http:\/\/www.aaai.org\/ojs\/index.php\/aimagazine\/article\/view\/1572","journal-title":"AI Magazine"},{"key":"6_CR26","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1613\/jair.1144","volume":"20","author":"J Hoffmann","year":"2003","unstructured":"Hoffmann, J.: The metric-FF planning system: Translating \u201cignoring delete lists\u201d to numeric state variables. J. Artif. Intell. Res. 20, 291\u2013341 (2003). https:\/\/doi.org\/10.1613\/jair.1144","journal-title":"J. Artif. Intell. Res."},{"doi-asserted-by":"crossref","unstructured":"Hofmann, T., Niemueller, T., Lakemeyer, G.: Initial results on generating macro actions from a plan database for planning on autonomous mobile robots. In: ICAPS. pp. 498\u2013503 (2017)","key":"6_CR27","DOI":"10.1609\/icaps.v27i1.13868"},{"issue":"1","key":"6_CR28","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0004-3702(85)90012-8","volume":"26","author":"R Korf","year":"1985","unstructured":"Korf, R.: Macro-operators: A weak method for learning. Artificial Intelligence 26(1), 35\u201377 (1985)","journal-title":"Artificial Intelligence"},{"issue":"1\u20134","key":"6_CR29","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1023\/A:1016619613658","volume":"30","author":"J Kvarnstr\u00f6m","year":"2000","unstructured":"Kvarnstr\u00f6m, J., Doherty, P.: TALplanner: a temporal logic based forward chaining planner. Annals of Mathematics and Artificial Intelligence 30(1\u20134), 119\u2013169 (2000)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"doi-asserted-by":"crossref","unstructured":"McCluskey, T.L., Vaquero, T.S., Vallati, M.: Engineering knowledge for automated planning: Towards a notion of quality. In: Proceedings of the Knowledge Capture Conference, K-CAP 2017, Austin, TX, USA, December 4\u20136, 2017. pp. 14:1\u201314:8 (2017). https:\/\/doi.org\/10.1145\/3148011.3148012","key":"6_CR30","DOI":"10.1145\/3148011.3148012"},{"unstructured":"Minton, S.: Quantitative results concerning the utility of explanation-based learning. In: Proceedings of AAAI. pp. 564\u2013569 (1988)","key":"6_CR31"},{"unstructured":"Newton, M.A.H., Levine, J., Fox, M., Long, D.: Learning macro-actions for arbitrary planners and domains. In: Proceedings of the International Conference on Automated Planning and Scheduling, ICAPS. pp. 256\u2013263 (2007)","key":"6_CR32"},{"doi-asserted-by":"crossref","unstructured":"Riddle, P.J., Barley, M.W., Franco, S., Douglas, J.: Automated transformation of PDDL representations. In: Proceedings of the Eighth Annual Symposium on Combinatorial Search, SOCS 2015, 11\u201313 June 2015, Ein Gedi, the Dead Sea, Israel. pp. 214\u2013215 (2015)","key":"6_CR33","DOI":"10.1609\/socs.v6i1.18368"},{"doi-asserted-by":"crossref","unstructured":"Siddiqui, F.H., Haslum, P.: Block-structured plan deordering. In: AI 2012: Advances in Artificial Intelligence\u201425th Australasian Joint Conference, Sydney, Australia, December 4\u20137, 2012. Proceedings. pp. 803\u2013814 (2012). https:\/\/doi.org\/10.1007\/978-3-642-35101-3_68","key":"6_CR34","DOI":"10.1007\/978-3-642-35101-3_68"},{"issue":"1\u20132","key":"6_CR35","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/S0004-3702(00)00079-5","volume":"125","author":"J Slaney","year":"2001","unstructured":"Slaney, J., Thi\u00e9baux, S.: Blocks world revisited. Artificial Intelligence 125(1\u20132), 119\u2013153 (2001)","journal-title":"Artificial Intelligence"}],"container-title":["Knowledge Engineering Tools and Techniques for AI Planning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-38561-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,29]],"date-time":"2023-09-29T03:35:40Z","timestamp":1695958540000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-38561-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030385606","9783030385613"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-38561-3_6","relation":{},"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"26 March 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}