{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T07:13:11Z","timestamp":1742973191521,"version":"3.40.3"},"publisher-location":"Cham","reference-count":9,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031162091"},{"type":"electronic","value":"9783031162107"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-16210-7_36","type":"book-chapter","created":{"date-parts":[[2022,9,20]],"date-time":"2022-09-20T23:03:09Z","timestamp":1663714989000},"page":"436-445","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Automatic Processing of Planning Problems: Application on Representative Case Studies"],"prefix":"10.1007","author":[{"given":"Sabrine","family":"Ammar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Taoufik","family":"Sakka Rouis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed Tahar","family":"Bhiri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Walid","family":"Gaaloul","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,9,21]]},"reference":[{"key":"36_CR1","doi-asserted-by":"publisher","unstructured":"Abdulaziz, M., Lammich, P.: A formally verified validator for classical planning problems and solutions. In: IEEE 30th International Conference on Tools with Artificial Intelligence (2018). https:\/\/doi.org\/10.1017\/CBO9781139195881","DOI":"10.1017\/CBO9781139195881"},{"key":"36_CR2","volume-title":"Segmentation et Evolution pour la Planification : Le Syst\u00e8me DivideAndEvolve","author":"J Bibai","year":"2010","unstructured":"Bibai, J.: Segmentation et Evolution pour la Planification\u202f: Le Syst\u00e8me DivideAndEvolve. Paris Sud University, THALES Research and Technology France (2010)"},{"key":"36_CR3","doi-asserted-by":"crossref","unstructured":"Ghallab, M., Nau, D., Traverso, P.: Automated planning: theory & practice (2004)","DOI":"10.1016\/B978-155860856-6\/50021-1"},{"key":"36_CR4","doi-asserted-by":"publisher","unstructured":"Howey, R., Long, D., Fox, M.: VAL: automatic plan validation, continuous effects and mixed initiative planning using PDDL. In: Tools with Artificial Intelligence. ICTAI (2004). https:\/\/doi.org\/10.1109\/ICTAI.2004.120","DOI":"10.1109\/ICTAI.2004.120"},{"key":"36_CR5","doi-asserted-by":"publisher","unstructured":"Haslum, P., Lipovetzky, N., Magazzeni, D., Muise, C.: An introduction to the planning domain definition language. In: Synthesis Lectures on Artificial Intelligence and Machine Learning (2019). https:\/\/doi.org\/10.2200\/S00900ED2V01Y201902AIM042","DOI":"10.2200\/S00900ED2V01Y201902AIM042"},{"key":"36_CR6","unstructured":"Magnaguagno, M.C., Pereira, R.F., More, M.D., Meneguzzi, F.: WEB PLANNER: A tool to develop classical planning domains and visualize heuristic state-Space search. ICAPS, User Interfaces for Scheduling & Planning (UISP) Workshop (2017)"},{"issue":"5\u20136","key":"36_CR7","doi-asserted-by":"publisher","first-page":"536","DOI":"10.1016\/j.artint.2008.11.009","volume":"173","author":"M Roberts","year":"2009","unstructured":"Roberts, M., Howe, A.: Learning from planner performance. Elsevier, Artificial Intelligence 173(5\u20136), 536\u2013561 (2009)","journal-title":"Elsevier, Artificial Intelligence"},{"key":"36_CR8","doi-asserted-by":"crossref","unstructured":"H\u00f6rne, T., van der Poll, J.A.: Planning as model checking: the performance of ProB vs NuSMV. In: Proceedings of the 2008 annual research conference of the South African Institute of Computer Scientists and Information Technologists on IT research in developing countries: riding the wave of technology (2008)","DOI":"10.1145\/1456659.1456673"},{"key":"36_CR9","doi-asserted-by":"crossref","unstructured":"Li, Y., Sun, J., Song Dong, J., Liu, Y., Sun, J.: Translating PDDL into CSP# - the PAT Approach, In: Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems (2012)","DOI":"10.1109\/ICECCS20050.2012.6299219"}],"container-title":["Communications in Computer and Information Science","Advances in Computational Collective Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-16210-7_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,3,9]],"date-time":"2023-03-09T12:21:20Z","timestamp":1678364480000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-16210-7_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031162091","9783031162107"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-16210-7_36","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"21 September 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}