{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,17]],"date-time":"2026-09-17T05:13:21Z","timestamp":1789622001533,"version":"build-2803163510"},"reference-count":53,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2021,6,16]],"date-time":"2021-06-16T00:00:00Z","timestamp":1623801600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,6,16]],"date-time":"2021-06-16T00:00:00Z","timestamp":1623801600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[2021,8]]},"DOI":"10.1007\/s10817-021-09592-1","type":"journal-article","created":{"date-parts":[[2021,6,16]],"date-time":"2021-06-16T06:12:46Z","timestamp":1623823966000},"page":"727-773","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["On the Importance of Domain Model Configuration for Automated Planning Engines"],"prefix":"10.1007","volume":"65","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8429-3570","authenticated-orcid":false,"given":"Mauro","family":"Vallati","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Luk\u00e1\u0161","family":"Chrpa","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thomas Leo","family":"McCluskey","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Frank","family":"Hutter","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2021,6,16]]},"reference":[{"issue":"1","key":"9592_CR1","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1109\/MIS.2004.1265878","volume":"19","author":"M Ai-Chang","year":"2004","unstructured":"Ai-Chang, M., Bresina, J., Charest, L., Chase, A., Hsu, J.C.-J., Jonsson, A., Kanefsky, B., Morris, P., Rajan, K., Yglesias, J., et al.: Mapgen: mixed-initiative planning and scheduling for the mars exploration rover mission. IEEE Intell. Syst. 19(1), 8\u201312 (2004)","journal-title":"IEEE Intell. Syst."},{"key":"9592_CR2","doi-asserted-by":"crossref","unstructured":"Ans\u00f3tegui, C., Sellmann, M., Tierney, K.: A gender-based genetic algorithm for the automatic configuration of algorithms. In: Proceedings of the Principles and Practice of Constraint Programming (CP), pp. 142\u2013157 (2009)","DOI":"10.1007\/978-3-642-04244-7_14"},{"key":"9592_CR3","doi-asserted-by":"crossref","unstructured":"Areces, C., Bustos, F., Dominguez, M.A., Hoffmann, J.: Optimizing planning domains by automatic action schema splitting. In: Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, ICAPS (2014)","DOI":"10.1609\/icaps.v24i1.13622"},{"key":"9592_CR4","unstructured":"Balyo, T.: The freelunch planning system entering IPC 2014. In: Proceedings of the 8th International Planning Competition (IPC-2014) (2014)"},{"key":"9592_CR5","doi-asserted-by":"crossref","unstructured":"Balyo, T.: Relaxing the relaxed exist-step parallel planning semantics. In: 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, pp. 865\u2013871 (2013)","DOI":"10.1109\/ICTAI.2013.131"},{"key":"9592_CR6","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. J. Artif. Intell. Res. 24, 581\u2013621 (2005)","journal-title":"J. Artif. Intell. Res."},{"issue":"1","key":"9592_CR7","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1010933404324","volume":"45","author":"L Breiman","year":"2001","unstructured":"Breiman, L.: Random forests. Mach. Learn. 45(1), 5\u201332 (2001)","journal-title":"Mach. Learn."},{"key":"9592_CR8","doi-asserted-by":"publisher","first-page":"657","DOI":"10.1613\/jair.5080","volume":"56","author":"I Cenamor","year":"2016","unstructured":"Cenamor, I., de la Rosa, T., Fern\u00e1ndez, F.: The ibacop planning system: instance-based configured portfolios. J. Artif. Intell. Res. 56, 657\u2013691 (2016)","journal-title":"J. Artif. Intell. Res."},{"key":"9592_CR9","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1016\/j.ijar.2017.10.002","volume":"92","author":"F Cerutti","year":"2017","unstructured":"Cerutti, F., Vallati, M., Giacomin, M.: On the impact of configuration on abstract argumentation automated reasoning. Int. J. Approx. Reason. 92, 120 (2017)","journal-title":"Int. J. Approx. Reason."},{"issue":"3","key":"9592_CR10","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. Knowl. Eng. Rev. 25(3), 281\u2013297 (2010)","journal-title":"Knowl. Eng. Rev."},{"key":"9592_CR11","unstructured":"Chrpa, L., Bart\u00e1k, R.: Reformulating planning problems by eliminating unpromising actions. In: Symposium on Abstraction, Reformulation, and Approximation, SARA, pp. 50\u201357 (2009)"},{"key":"9592_CR12","unstructured":"Chrpa, L., McCluskey, T.L.: On exploiting structures of classical planning problems: generalizing entanglements. In: European Conference on Artificial Intelligence, ECAI, pp. 240\u2013245 (2012)"},{"key":"9592_CR13","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)","DOI":"10.1609\/icaps.v24i1.13626"},{"key":"9592_CR14","unstructured":"Coles, A., Fox, M., Smith, A.: Online identification of useful macro-actions for planning. In: The International Conference on Automated Planning and Scheduling, ICAPS, pp. 97\u2013104 (2007)"},{"key":"9592_CR15","unstructured":"Fawcett, C., Helmert, M., Hoos, H.H., Karpas, E., R\u00f6ger, G., Seipp, J.: Fd-autotune: domain-specific configuration using fast-downward. In: Workshop on Planning and Learning (PAL) (2011)"},{"key":"9592_CR16","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1613\/jair.1129","volume":"20","author":"M Fox","year":"2003","unstructured":"Fox, M., Long, D.: PDDL2.1: an extension to PDDL for expressing temporal planning domains. J. Artif. Intell. Res. 20, 61\u2013124 (2003)","journal-title":"J. Artif. Intell. Res."},{"key":"9592_CR17","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1613\/jair.1183","volume":"20","author":"AE Gerevini","year":"2003","unstructured":"Gerevini, A.E., Saetti, A., Serina, I.: Planning through stochastic local search and temporal action graphs in LPG. J. Artif. Intell. Res. 20, 239\u2013290 (2003)","journal-title":"J. Artif. Intell. Res."},{"key":"9592_CR18","doi-asserted-by":"publisher","first-page":"639","DOI":"10.1613\/jair.4359","volume":"50","author":"AE Gerevini","year":"2014","unstructured":"Gerevini, A.E., Saetti, A., Vallati, M.: Planning through automatic portfolio configuration: the PBP approach. J. Artif. Intell. Res. 50, 639\u2013696 (2014)","journal-title":"J. Artif. Intell. Res."},{"key":"9592_CR19","unstructured":"Ghallab, M., Knoblock Isi, C., Penberthy, S., Smith, D.E., Sun, Y., Weld, D.: Pddl\u2014the planning domain definition language. Technical report (1998)"},{"key":"9592_CR20","volume-title":"Automated Planning, Theory and Practice","author":"M Ghallab","year":"2004","unstructured":"Ghallab, M., Nau, D., Traverso, P.: Automated Planning, Theory and Practice. Morgan Kaufmann Publishers, Burlington (2004)"},{"key":"9592_CR21","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1613\/jair.1705","volume":"26","author":"M Helmert","year":"2006","unstructured":"Helmert, M.: The fast downward planning system. J. Artif. Intell. Res. 26, 191\u2013246 (2006)","journal-title":"J. Artif. Intell. Res."},{"key":"9592_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1613\/jair.935","volume":"17","author":"AE Howe","year":"2002","unstructured":"Howe, A.E., Dahlman, E.: A critical assessment of benchmark comparison in planning. J. Artif. Intell. Res. 17, 1\u201333 (2002)","journal-title":"J. Artif. Intell. Res."},{"key":"9592_CR23","unstructured":"Hsu, C.-W., Wah, B.W.: The SGPlan planning system in IPC-6. In: The 6th International Planning Competition (IPC-6) (2008)"},{"key":"9592_CR24","doi-asserted-by":"crossref","unstructured":"Hutter, F., Hoos, H.H., Leyton-Brown, K.: Sequential model-based optimization for general algorithm configuration. In: Proceedings of the 5th Learning and Intelligent Optimization Conference (LION), pp. 507\u2013523 (2011)","DOI":"10.1007\/978-3-642-25566-3_40"},{"key":"9592_CR25","unstructured":"Hutter, F., Hoos, H.H., Leyton-Brown, K.: An efficient approach for assessing hyperparameter importance. In: Proceedings of the 31st International Conference on Machine Learning, pp. 754\u2013762 (2014)"},{"key":"9592_CR26","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1613\/jair.2861","volume":"36","author":"F Hutter","year":"2009","unstructured":"Hutter, F., Hoos, H.H., Leyton-Brown, K., St\u00fctzle, T.: Paramils: an automatic algorithm configuration framework. J. Artif. Intell. Res. 36, 267\u2013306 (2009)","journal-title":"J. Artif. Intell. Res."},{"key":"9592_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2016.09.006","volume":"243","author":"F Hutter","year":"2017","unstructured":"Hutter, F., Lindauer, M., Balint, A., Bayless, S., Hoos, H., Leyton-Brown, K.: The configurable sat solver challenge (CSSC). Artif. Intell. J. 243, 1\u201325 (2017)","journal-title":"Artif. Intell. J."},{"key":"9592_CR28","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/j.artint.2013.10.003","volume":"206","author":"F Hutter","year":"2014","unstructured":"Hutter, F., Xu, L., Hoos, H.H., Leyton-Brown, K.: Algorithm runtime prediction: methods & evaluation. Artif. Intell. 206, 79\u2013111 (2014)","journal-title":"Artif. Intell."},{"key":"9592_CR29","unstructured":"Katz, M., Hoffmann, J.: Mercury planner: pushing the limits of partial delete relaxation. In: Proceedings of the 8th International Planning Competition (IPC-2014) (2014)"},{"issue":"1","key":"9592_CR30","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0004-3702(85)90012-8","volume":"26","author":"RE Korf","year":"1985","unstructured":"Korf, R.E.: Macro-operators: a weak method for learning. Artif. Intell. 26(1), 35\u201377 (1985)","journal-title":"Artif. Intell."},{"key":"9592_CR31","unstructured":"Lipovetzky, N., Ramirez, M., Muise, C., Geffner, H.: Width and inference based planners: Siw, bfs(f), and probe. In: Proceedings of the 8th International Planning Competition (IPC-2014) (2014)"},{"issue":"1","key":"9592_CR32","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(97)00034-9","volume":"95","author":"TL McCluskey","year":"1997","unstructured":"McCluskey, T.L., Porteous, J.M.: Engineering and compiling planning domain models to promote validity and efficiency. Artif. Intell. 95(1), 1\u201365 (1997)","journal-title":"Artif. Intell."},{"key":"9592_CR33","doi-asserted-by":"crossref","unstructured":"McCluskey, T.L., Vallati, M.: Embedding automated planning within urban traffic management operations. In: Proceedings of the International Conference on Automated Planning and Scheduling ICAPS (2017)","DOI":"10.24963\/ijcai.2017\/776"},{"key":"9592_CR34","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)","DOI":"10.1145\/3148011.3148012"},{"key":"9592_CR35","unstructured":"Minton, S.: Quantitative results concerning the utility of explanation-based learning. In: AAAI, pp. 564\u2013569 (1988)"},{"key":"9592_CR36","unstructured":"Newton, M.A.H., Levine, J., Fox, M., Long, D.: Learning macro-actions for arbitrary planners and domains. In: The International Conference on Automated Planning and Scheduling, ICAPS, pp. 256\u2013263 (2007)"},{"issue":"6","key":"9592_CR37","doi-asserted-by":"publisher","first-page":"3005","DOI":"10.1016\/j.eswa.2014.11.066","volume":"42","author":"S Parkinson","year":"2015","unstructured":"Parkinson, S., Longstaff, A.P.: Multi-objective optimisation of machine tool error mapping using automated planning. Expert Syst. Appl. 42(6), 3005\u20133015 (2015)","journal-title":"Expert Syst. Appl."},{"key":"9592_CR38","unstructured":"Riddle, P.J., Holte, R.C., Barley, M.W.: Does representation matter in the planning competition? In: Proceedings of the Ninth Symposium on Abstraction, Reformulation, and Approximation, SARA 2011, Parador de Cardona, Cardona, Catalonia, Spain (2011)"},{"key":"9592_CR39","unstructured":"Rintanen, J.: Madagascar: Scalable planning with SAT. In: Proceedings of the 8th International Planning Competition (IPC-2014) (2014)"},{"key":"9592_CR40","unstructured":"Sadraei, R., Ahmadi, A.: Use: the useful operator selection. In: Proceedings of the 8th International Planning Competition (IPC-2014) (2014)"},{"key":"9592_CR41","unstructured":"Seipp, J., Sievers, S., Helmert, M., Hutter, F.: Automatic configuration of sequential planning portfolios. In: Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 25\u201330 Jan 2015, Austin, Texas, USA, pp. 3364\u20133370 (2015)"},{"key":"9592_CR42","doi-asserted-by":"crossref","unstructured":"Thompson, S.K.: Simple random sampling. Sampling, Third Edition, pp. 9\u201337 (2012)","DOI":"10.1002\/9781118162934.ch2"},{"key":"9592_CR43","unstructured":"Valenzano, R., Nakhost, H., M\u00fcller, M., Schaeffer, J.: Arvandherd 2014. In: Proceedings of the 8th International Planning Competition (IPC-2014) (2014)"},{"key":"9592_CR44","doi-asserted-by":"crossref","unstructured":"Valenzano, R., Schaeffer, J., Sturtevant, N., Xie, F.: A comparison of knowledge-based GBFS enhancements and knowledge-free exploration. In: Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS-2014), pp. 375\u2013379 (2014)","DOI":"10.1609\/icaps.v24i1.13681"},{"key":"9592_CR45","unstructured":"Vallati, M., Fawcett, C., Gerevini, A.E., Hoos, H.H., Saetti, A.: Automatic generation of efficient domain-optimized planners from generic parametrized planners. In: Proceedings of the Sixth Annual Symposium on Combinatorial Search, SOCS (2013)"},{"issue":"3","key":"9592_CR46","first-page":"90","volume":"36","author":"M Vallati","year":"2015","unstructured":"Vallati, M., Chrpa, L., Grzes, M., McCluskey, T.L., Roberts, M.: The 2014 international planning competition: progress and trends. AI Mag. 36(3), 90\u201398 (2015)","journal-title":"AI Mag."},{"key":"9592_CR47","doi-asserted-by":"crossref","unstructured":"Vallati, M., Chrpa, L., McCluskey, T.L.: Improving a planner\u2019s performance through online heuristic configuration of domain models. In: Proceedings of the Tenth International Symposium on Combinatorial Search, pp. 171\u2013172 (2017)","DOI":"10.1609\/socs.v8i1.18412"},{"key":"9592_CR48","unstructured":"Vallati, M., Hutter, F., Chrpa, L., McCluskey, T.L.: On the effective configuration of planning domain models. In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI, pp. 1704\u20131711 (2015)"},{"key":"9592_CR49","doi-asserted-by":"crossref","unstructured":"Vallati, M., Maratea, M.: On the configuration of SAT formulae. In: AI*IA 2019\u2014Advances in Artificial Intelligence\u2014XVIIIth International Conference of the Italian Association for Artificial Intelligence, pp. 264\u2013277 (2019)","DOI":"10.1007\/978-3-030-35166-3_19"},{"key":"9592_CR50","unstructured":"Vidal, V.: YAHSP3 and YAHSP3-MT in the 8th international planning competition. In: Proceedings of the 8th International Planning Competition (IPC-2014) (2014)"},{"issue":"6","key":"9592_CR51","doi-asserted-by":"publisher","first-page":"80","DOI":"10.2307\/3001968","volume":"1","author":"F Wilcoxon","year":"1945","unstructured":"Wilcoxon, F.: Individual comparisons by ranking methods. Biom. Bull. 1(6), 80\u201383 (1945)","journal-title":"Biom. Bull."},{"key":"9592_CR52","unstructured":"Xie, F., M\u00fcller, M., Holte, R.: Jasper: the art of exploration in greedy best first search. In: Proceedings of the 8th International Planning Competition (IPC-2014) (2014)"},{"key":"9592_CR53","doi-asserted-by":"crossref","unstructured":"Yuan, Z., St\u00fctzle, T., Birattari, M.: Mads\/f-race: mesh adaptive direct search meets f-race. In: Proceedings of the 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems (IEA\/AIE), pp. 41\u201350 (2010)","DOI":"10.1007\/978-3-642-13022-9_5"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-021-09592-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10817-021-09592-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-021-09592-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,31]],"date-time":"2022-12-31T08:38:08Z","timestamp":1672475888000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10817-021-09592-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,16]]},"references-count":53,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2021,8]]}},"alternative-id":["9592"],"URL":"https:\/\/doi.org\/10.1007\/s10817-021-09592-1","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,6,16]]},"assertion":[{"value":"4 March 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 April 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 June 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}