{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T16:43:21Z","timestamp":1743093801639,"version":"3.40.3"},"publisher-location":"Cham","reference-count":11,"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_13","type":"book-chapter","created":{"date-parts":[[2020,3,25]],"date-time":"2020-03-25T18:02:52Z","timestamp":1585159372000},"page":"249-259","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Planning in a Real-World Application: An AUV Case Study"],"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":[{"issue":"1","key":"13_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.L., Charest, L., Chase, A., Hsu, J.C., J\u00f3nsson, A.K., Kanefsky, B., Morris, P.H., Rajan, K., Yglesias, J., Chafin, B.G., Dias, W.C., Maldague, P.F.: MAPGEN: mixed-initiative planning and scheduling for the mars exploration rover mission. IEEE Intelligent Systems 19(1), 8\u201312 (2004). \nhttps:\/\/doi.org\/10.1109\/MIS.2004.1265878","journal-title":"IEEE Intelligent Systems"},{"key":"13_CR2","doi-asserted-by":"publisher","unstructured":"Chrpa, L., Pinto, J., Marques, T.S., Ribeiro, M.A., de Sousa, J.B.: Mixed-initiative planning, replanning and execution: From concept to field testing using AUV fleets. In: 2017 IEEE\/RSJ International Conference on Intelligent Robots and Systems, IROS 2017, Vancouver, BC, Canada, September 24\u201328, 2017. pp. 6825\u20136830 (2017). \nhttps:\/\/doi.org\/10.1109\/IROS.2017.8206602","DOI":"10.1109\/IROS.2017.8206602"},{"key":"13_CR3","doi-asserted-by":"publisher","unstructured":"Chrpa, L., Pinto, J., Ribeiro, M.A., Py, F., de Sousa, J.B., Rajan, K.: On mixed-initiative planning and control for autonomous underwater vehicles. In: 2015 IEEE\/RSJ International Conference on Intelligent Robots and Systems, IROS 2015, Hamburg, Germany, September 28 - October 2, 2015. pp. 1685\u20131690 (2015). \nhttps:\/\/doi.org\/10.1109\/IROS.2015.7353594","DOI":"10.1109\/IROS.2015.7353594"},{"key":"13_CR4","doi-asserted-by":"publisher","unstructured":"Dias, P.S., Gomes, R.M.F., Pinto, J., Gon\u00e7alves, G.M., de Sousa, J.B., Pereira, F.M.L.: Mission planning and specification in the Neptus framework. In: Proceedings of the 2006 IEEE International Conference on Robotics and Automation, ICRA 2006, May 15\u201319, 2006, Orlando, Florida, USA. pp. 3220\u20133225 (2006). \nhttps:\/\/doi.org\/10.1109\/ROBOT.2006.1642192","DOI":"10.1109\/ROBOT.2006.1642192"},{"key":"13_CR5","unstructured":"Fox, M., Long, D.: PDDL2.1: an extension to PDDL for expressing temporal planning domains. J. Artif. Intell. Res. (JAIR) 20, 61\u2013124 (2003)"},{"key":"13_CR6","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":"13_CR7","doi-asserted-by":"crossref","unstructured":"Ghallab, M., Nau, D., Traverso, P.: Automated planning, theory and practice. Morgan Kaufmann (2004)","DOI":"10.1016\/B978-155860856-6\/50021-1"},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1613\/jair.3602","volume":"44","author":"P Haslum","year":"2012","unstructured":"Haslum, P.: Narrative planning: Compilations to classical planning. J. Artif. Intell. Res. 44, 383\u2013395 (2012). \nhttps:\/\/doi.org\/10.1613\/jair.3602","journal-title":"J. Artif. Intell. Res."},{"key":"13_CR9","unstructured":"McCluskey, T.L., Vallati, M.: Embedding automated planning within urban traffic management operations. In: Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18\u201323, 2017. pp. 391\u2013399 (2017), \nhttps:\/\/aaai.org\/ocs\/index.php\/ICAPS\/ICAPS17\/paper\/view\/15645"},{"key":"13_CR10","unstructured":"Pinto, J., Dias, P.S., Martins, R., Fortuna, J., Marques, E., Sousa, J.: The LSTS toolchain for networked vehicle systems. In: OCEANS-Bergen, 2013 MTS\/IEEE. pp. 1\u20139. IEEE (2013)"},{"key":"13_CR11","unstructured":"Shah, M.M.S., Chrpa, L., Kitchin, D.E., McCluskey, T.L., Vallati, M.: Exploring knowledge engineering strategies in designing and modelling a road traffic accident management domain. In: IJCAI (2013)"}],"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_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,26]],"date-time":"2020-03-26T05:10:07Z","timestamp":1585199407000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-38561-3_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030385606","9783030385613"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-38561-3_13","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"}}]}}