{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T16:45:22Z","timestamp":1743093922825,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031806063"},{"type":"electronic","value":"9783031806070"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-80607-0_1","type":"book-chapter","created":{"date-parts":[[2024,12,31]],"date-time":"2024-12-31T16:35:16Z","timestamp":1735662916000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Against the\u00a0Clock: Lessons Learned by\u00a0Applying Temporal Planning in\u00a0Practice"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6370-1061","authenticated-orcid":false,"given":"Andrea","family":"Micheli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,1,1]]},"reference":[{"key":"1_CR1","unstructured":"Cesta, A., Cortellessa, G., Fratini, S., Oddi, A., Rasconi, R.: The APSI framework: a planning and scheduling software development environment. In: Working Notes of the ICAPS-09 Application Showcase Program. Thessaloniki, Greece (2009)"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Coles, A.J., Coles, A., Fox, M., Long, D.: Forward-chaining partial-order planning. In: ICAPS 2010 (2010)","DOI":"10.1609\/icaps.v20i1.13403"},{"key":"1_CR3","unstructured":"Coles, A., Fox, M., Long, D., Smith, A.: Planning with problems requiring temporal coordination. In: AAAI (2008)"},{"key":"1_CR4","unstructured":"Cushing, W., Kambhampati, S., Mausam, Weld, D.S.: When is temporal planning really temporal? In: IJCAI 2007 (2007)"},{"key":"1_CR5","unstructured":"Edelkamp, S., Hoffmann, J.: PDDL2.2: The language for the classical part of the 4th international planning competition, Technical report, Technical Report 195, University of Freiburg (2004)"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Fox, M., Long, D.: PDDL2.1: an extension to PDDL for expressing temporal planning domains. J. Artif. Intell. Res. (2003)","DOI":"10.1613\/jair.1129"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Fox, M., Long, D.: Modelling mixed discrete-continuous domains for planning. J. Artif. Intell. Res. (2006)","DOI":"10.1007\/11757375_2"},{"key":"1_CR8","unstructured":"Fox, M., Long, D., Halsey, K.: An investigation into the expressive power of PDDL2.1. In: ECAI 2004 (2004)"},{"key":"1_CR9","unstructured":"Frank, J., J\u00f3nsson, A.: Constraint-based attribute and interval planning. Constraints (2003)"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Ghallab, M., Nau, D.S., Traverso, P.: Automated Planning - Theory and Practice. Elsevier (2004)","DOI":"10.1016\/B978-155860856-6\/50021-1"},{"key":"1_CR11","doi-asserted-by":"publisher","first-page":"103686","DOI":"10.1016\/j.artint.2022.103686","volume":"307","author":"N Gigante","year":"2022","unstructured":"Gigante, N., Micheli, A., Montanari, A., Scala, E.: Decidability and complexity of action-based temporal planning over dense time. Artif. Intell. 307, 103686 (2022). https:\/\/doi.org\/10.1016\/j.artint.2022.103686","journal-title":"Artif. Intell."},{"key":"1_CR12","unstructured":"Gigante, N., Micheli, A., Scala, E.: On the expressive power of intermediate and conditional effects in temporal planning. In: Kern-Isberner, G., Lakemeyer, G., Meyer, T. (eds.) Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, Haifa, Israel, July 31 - August 5, 2022 (2022). https:\/\/proceedings.kr.org\/2022\/18\/"},{"key":"1_CR13","doi-asserted-by":"publisher","unstructured":"Leofante, F., Giunchiglia, E., \u00c1brah\u00e1m, E., Tacchella, A.: Optimal planning modulo theories. In: Bessiere, C. (ed.) Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020, pp. 4128\u20134134 (2020). https:\/\/doi.org\/10.24963\/IJCAI.2020\/571","DOI":"10.24963\/IJCAI.2020\/571"},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1023\/A:1023952906934","volume":"15","author":"MA Manier","year":"2003","unstructured":"Manier, M.A., Bloch, C.: A classification for hoist scheduling problems. Int. J. Flex. Manuf. Syst. 15, 37\u201355 (2003)","journal-title":"Int. J. Flex. Manuf. Syst."},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Micheli, A., Scala, E.: Temporal planning with temporal metric trajectory constraints. In: AAAI 2019, pp. 7675\u20137682 (2019)","DOI":"10.1609\/aaai.v33i01.33017675"},{"key":"1_CR16","doi-asserted-by":"publisher","unstructured":"Micheli, A., Valentini, A.: Synthesis of search heuristics for temporal planning via reinforcement learning. In: Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021, pp. 11895\u201311902. AAAI Press (2021). https:\/\/doi.org\/10.1609\/AAAI.V35I13.17413","DOI":"10.1609\/AAAI.V35I13.17413"},{"key":"1_CR17","doi-asserted-by":"publisher","unstructured":"Panjkovic, S., Micheli, A.: Expressive optimal temporal planning via optimization modulo theory. In: Williams, B., Chen, Y., Neville, J. (eds.) Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023, pp. 12095\u201312102. AAAI Press (2023). https:\/\/doi.org\/10.1609\/AAAI.V37I10.26426","DOI":"10.1609\/AAAI.V37I10.26426"},{"key":"1_CR18","doi-asserted-by":"publisher","unstructured":"Panjkovic, S., Micheli, A.: Abstract action scheduling for optimal temporal planning via OMT. In: Wooldridge, M.J., Dy, J.G., Natarajan, S. (eds.) Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada. pp. 20222\u201320229. AAAI Press (2024). https:\/\/doi.org\/10.1609\/AAAI.V38I18.30002","DOI":"10.1609\/AAAI.V38I18.30002"},{"key":"1_CR19","doi-asserted-by":"publisher","unstructured":"Panjkovic, S., Micheli, A., Cimatti, A.: Deciding unsolvability in temporal planning under action non-self-overlapping. In: Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, EAAI 2022 Virtual Event, February 22 - March 1, 2022, pp. 9886\u20139893. AAAI Press (2022). https:\/\/doi.org\/10.1609\/AAAI.V36I9.21225","DOI":"10.1609\/AAAI.V36I9.21225"},{"key":"1_CR20","doi-asserted-by":"publisher","unstructured":"Rintanen, J.: Discretization of temporal models with application to planning with SMT. In: Bonet, B., Koenig, S. (eds.) Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA, pp. 3349\u20133355. AAAI Press (2015). https:\/\/doi.org\/10.1609\/AAAI.V29I1.9644","DOI":"10.1609\/AAAI.V29I1.9644"},{"key":"1_CR21","doi-asserted-by":"publisher","unstructured":"Sebastiani, R., Tomasi, S.: Optimization modulo theories with linear rational costs. ACM Trans. Comput. Log. 16(2), 12:1\u201312:43 (2015). https:\/\/doi.org\/10.1145\/2699915","DOI":"10.1145\/2699915"},{"key":"1_CR22","unstructured":"Smith, D., Frank, J., Cushing, W.: The ANML language. In: KEPS 2008 (2008)"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Smith, D.E.: The case for durative actions: a commentary on PDDL2.1. J. Artif. Intell. Res. (2003)","DOI":"10.1613\/jair.1997"},{"issue":"1","key":"1_CR24","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1109\/MRA.2024.3352810","volume":"31","author":"E Tosello","year":"2024","unstructured":"Tosello, E., et al.: Opportunistic (re)planning for long-term deep-ocean inspection: an autonomous underwater architecture. IEEE Rob. Autom. Mag. 31(1), 72\u201383 (2024). https:\/\/doi.org\/10.1109\/MRA.2024.3352810","journal-title":"IEEE Rob. Autom. Mag."},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"Tosello, E., Valentini, A., Micheli, A.: A meta-engine framework for interleaved task and motion planning using topological refinements. In: Proceeding of the European Conference in AI (to appear) (2024)","DOI":"10.3233\/FAIA241015"},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"Umbrico, A., Cesta, A., Mayer, M.C., Orlandini, A.: Integrating resource management and timeline-based planning. In: ICAPS (2018)","DOI":"10.1609\/icaps.v28i1.13905"},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"Valentini, A., Micheli, A., Cimatti, A.: Temporal planning with intermediate conditions and effects. In: AAAI 2020 (2020)","DOI":"10.1609\/aaai.v34i06.6553"}],"container-title":["Lecture Notes in Computer Science","AIxIA 2024 \u2013 Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-80607-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,31]],"date-time":"2024-12-31T17:02:47Z","timestamp":1735664567000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-80607-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031806063","9783031806070"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-80607-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"1 January 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"AIxIA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference of the Italian Association for Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bolzano","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 November 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 November 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aiia2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}