{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T05:42:28Z","timestamp":1768282948691,"version":"3.49.0"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"6-8","license":[{"start":{"date-parts":[[2015,12,11]],"date-time":"2015-12-11T00:00:00Z","timestamp":1449792000000},"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":["Acta Informatica"],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1007\/s00236-015-0252-z","type":"journal-article","created":{"date-parts":[[2015,12,11]],"date-time":"2015-12-11T10:10:52Z","timestamp":1449828652000},"page":"649-680","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":54,"title":["Planning and execution with flexible timelines: a formal account"],"prefix":"10.1007","volume":"53","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4692-4922","authenticated-orcid":false,"given":"Marta","family":"Cialdea Mayer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6458-5202","authenticated-orcid":false,"given":"Andrea","family":"Orlandini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1184-5944","authenticated-orcid":false,"given":"Alessandro","family":"Umbrico","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,12,11]]},"reference":[{"key":"252_CR1","unstructured":"Abdedaim, Y., Asarin, E., Gallien, M., Ingrand, F., Lesire, C., Sighireanu, M.: Planning robust temporal plans: a comparison between CBTP and TGA approaches. In: Proceedings of the 17th International Conference on Automated Planning and Scheduling (ICAPS 2007), pp 2\u201310 (2007)"},{"issue":"11","key":"252_CR2","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"JF Allen","year":"1983","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832\u2013843 (1983)","journal-title":"Commun. ACM"},{"key":"252_CR3","unstructured":"Barreiro, J., Boyce, M., Do, M., Frank, J., Iatauro, M., Kichkaylo, T., Morris, P., Ong, J., Remolina, E., Smith, T., Smith, D.: EUROPA: a platform for AI planning, scheduling, constraint programming, and optimization. In: The 4th International Competition on Knowledge Engineering for Planning and Scheduling (ICKEPS 2012) (2012)"},{"issue":"1","key":"252_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s10009-013-0294-x","volume":"16","author":"S Bensalem","year":"2014","unstructured":"Bensalem, S., Havelund, K., Orlandini, A.: Verification and validation meet planning and scheduling. Int. J. Softw. Tools Technol. Transfer 16(1), 1\u201312 (2014)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"252_CR5","unstructured":"Bernardini, S.: Constraint-based temporal planning: issues in domain modelling and search control. Ph.D. thesis, Universit\u00e0 degli Studi di Trento (2008)"},{"key":"252_CR6","doi-asserted-by":"crossref","unstructured":"Castillo, L., Cortellessa, G., Yorke-Smith, N.: Special issue on scheduling and planning applications: selected papers from the SPARK workshop series. Comput. Intell. 27(1) (2011)","DOI":"10.1111\/j.1467-8640.2010.00368.x"},{"key":"252_CR7","unstructured":"Cesta, A., Fratini, S.: The timeline representation framework as a planning and scheduling software development environment. In: Proceedings of the 27th Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG-08) (2008)"},{"key":"252_CR8","first-page":"341","volume-title":"New directions in AI planning","author":"A Cesta","year":"1996","unstructured":"Cesta, A., Oddi, A.: DDL.1: A formal description of a constraint representation language for physical domains. In: Ghallab, M., Milani, A. (eds.) New directions in AI planning, pp. 341\u2013352. IOS Press, Amsterdam (1996)"},{"key":"252_CR9","unstructured":"Cesta, A., Cortellessa, G., Fratini, S., Oddi, A., Policella, N.: An innovative product for space mission planning: an a posteriori evaluation. In: Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling (ICAPS 2007), pp. 57\u201364 (2007)"},{"key":"252_CR10","unstructured":"Cesta, A., Cortellessa, G., Fratini, S., Oddi, A.: Developing an end-to-end planning application from a timeline representation framework. In: Proceedings of the 21st Conference on Innovative Applications of Artificial Intelligence (IAAI-09), pp. 66\u201371 (2009)"},{"key":"252_CR11","unstructured":"Cesta, A., Finzi, A., Fratini, S., Orlandini, A., Tronci, E.: Analyzing flexible timeline-based plans. In: Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), pp. 471\u2013476 (2010)"},{"issue":"1","key":"252_CR12","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1111\/j.1467-8640.2010.00373.x","volume":"27","author":"A Cesta","year":"2011","unstructured":"Cesta, A., Cortellessa, G., Fratini, S., Oddi, A.: MrSPOCK: steps in developing an end-to-end space application. Comput. Intell. 27(1), 83\u2013102 (2011)","journal-title":"Comput. Intell."},{"key":"252_CR13","doi-asserted-by":"crossref","unstructured":"Chien, S., Tran, D., Rabideau, G., Schaffer, S., Mandl, D., Frye, S.: Timeline-based space operations scheduling with external constraints. In: Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS 2010), pp. 34\u201341 (2010)","DOI":"10.1609\/icaps.v20i1.13410"},{"key":"252_CR14","doi-asserted-by":"crossref","unstructured":"Chien, S.A., Johnston, M., Frank, J., Giuliano, M., Kavelaars, A., Lenzen, C., Policella, N.: A generalized timeline representation, services, and interface for automating space mission operations. In: Proceedings of Space Operations (SpaceOps) 2012 (2012)","DOI":"10.2514\/6.2012-1275459"},{"key":"252_CR15","doi-asserted-by":"crossref","unstructured":"Cialdea\u00a0Mayer, M., Orlandini, A.: An executable semantics of flexible plans in terms of Timed Game Automata. In: Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning (TIME 2015), pp. 160\u2013169 (2015)","DOI":"10.1109\/TIME.2015.16"},{"key":"252_CR16","doi-asserted-by":"crossref","unstructured":"Cialdea\u00a0Mayer, M., Orlandini, A., Umbrico, A.: A formal account of planning with flexible timelines. In: Proceedings of the 21st International Symposium on Temporal Representation and Reasoning (TIME 2014), pp. 37\u201346 (2014)","DOI":"10.1109\/TIME.2014.27"},{"key":"252_CR17","doi-asserted-by":"crossref","unstructured":"Cimatti, A., Micheli, A., Roveri, M.: Timelines with temporal uncertainty. In: Proceedings of the 27th AAAI Conference on Artificial Intelligence, pp. 195\u2013201 (2013)","DOI":"10.1609\/aaai.v27i1.8601"},{"key":"252_CR18","unstructured":"Finzi, A., Pirri, F.: Representing flexible temporal behaviors in the Situation Calculus. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05), pp. 436\u2013441 (2005)"},{"key":"252_CR19","unstructured":"Frank, J.: What is a timeline? In: Proceedings of the 4th Workshop on Knowledge Engineering for Planning and Scheduling (KEPS 2013), pp. 31\u201338 (2013)"},{"issue":"4","key":"252_CR20","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1023\/A:1025842019552","volume":"8","author":"J Frank","year":"2003","unstructured":"Frank, J., J\u00f3nsson, A.: Constraint-based attribute and interval planning. Constraints 8(4), 339\u2013364 (2003)","journal-title":"Constraints"},{"issue":"2","key":"252_CR21","first-page":"231","volume":"18","author":"S Fratini","year":"2008","unstructured":"Fratini, S., Pecora, F., Cesta, A.: Unifying planning and scheduling as timelines in a component-based perspective. Arch. Control Sci. 18(2), 231\u2013271 (2008)","journal-title":"Arch. Control Sci."},{"key":"252_CR22","doi-asserted-by":"crossref","unstructured":"Hunsberger, L.: Fixing the semantics for dynamic controllability and providing a more practical characterization of dynamic execution strategies. In: Proceedings of the 16th International Symposium on Temporal Representation and Reasoning (TIME 2009), pp. 155\u2013162 (2009)","DOI":"10.1109\/TIME.2009.25"},{"key":"252_CR23","doi-asserted-by":"crossref","unstructured":"Hunsberger, L.: A fast incremental algorithm for managing the execution of dynamically controllable temporal networks. In: Proceedings of the 17th International Symposium on Temporal Representation and Reasoning (TIME 2010), pp. 121\u2013128 (2010)","DOI":"10.1109\/TIME.2010.16"},{"key":"252_CR24","unstructured":"Jonsson, A., Morris, P., Muscettola, N., Rajan, K., Smith, B.: Planning in interplanetary space: Theory and practice. In: Proceedings of the 5th International Conference on Artificial Intelligence Planning Systems (AIPS \u201900), pp. 177\u2013186 (2000)"},{"key":"252_CR25","doi-asserted-by":"crossref","unstructured":"Laborie, P., Ghallab, M.: IxTeT: an integrated approach for plan generation and scheduling. In: Proceedings of the INRIA\/IEEE Symposium on Emerging Technologies and Factory Automation (ETFA\u201995), pp. 485\u2013495 (1995)","DOI":"10.1109\/ETFA.1995.496801"},{"key":"252_CR26","doi-asserted-by":"crossref","unstructured":"Morris, P.: Dynamic controllability and dispatchability relationships. In: Integration of AI and OR Techniques in Constraint Programming, Proceedings of the 11th International Conference, CPAIOR 2014, Springer, LNCS, vol. 8451, pp. 464\u2013479 (2014)","DOI":"10.1007\/978-3-319-07046-9_33"},{"key":"252_CR27","unstructured":"Morris, P.H., Muscettola, N., Vidal, T.: Dynamic control of plans with temporal uncertainty. In: Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI 2001), pp. 494\u2013502 (2001)"},{"key":"252_CR28","first-page":"169","volume-title":"Intelligent scheduling","author":"N Muscettola","year":"1994","unstructured":"Muscettola, N.: HSTS: Integrating planning and scheduling. In: Zweben, M., Fox, M.S. (eds.) Intelligent scheduling, pp. 169\u2013212. Morgan Kauffmann, Burlington (1994)"},{"key":"252_CR29","doi-asserted-by":"crossref","unstructured":"Orlandini, A., Finzi, A., Cesta, A., Fratini, S.: TGA-based controllers for flexible plan execution. In: KI 2011: Advances in Artificial Intelligence, Proceedings of the 34th Annual German Conference on AI, Springer, LNCS, vol. 7006, pp. 233\u2013245 (2011)","DOI":"10.1007\/978-3-642-24455-1_22"},{"key":"252_CR30","doi-asserted-by":"crossref","unstructured":"Orlandini, A., Suriano, M., Cesta, A., Finzi, A.: Controller synthesis for safety critical planning. In: Proceedings of the IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI 2013), pp. 306\u2013313 (2013)","DOI":"10.1109\/ICTAI.2013.54"},{"issue":"1","key":"252_CR31","first-page":"87","volume":"8","author":"A Orlandini","year":"2014","unstructured":"Orlandini, A., Bernardi, G., Cesta, A., Finzi, A.: Planning meets verification and validation in a knowledge engineering environment. Intell. Artif. 8(1), 87\u2013100 (2014)","journal-title":"Intell. Artif."},{"issue":"2","key":"252_CR32","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1017\/S0269888907001063","volume":"22","author":"RM Simpson","year":"2007","unstructured":"Simpson, R.M., Kitchin, D.E., McCluskey, T.L.: Planning domain definition using GIPO. Knowl. Eng. Rev. 22(2), 117\u2013134 (2007)","journal-title":"Knowl. Eng. Rev."},{"key":"252_CR33","doi-asserted-by":"crossref","unstructured":"Umbrico, A., Orlandini, A., Cialdea\u00a0Mayer, M.: Enriching a temporal planner with resources and a hierarchy-based heuristic. In: AIxIA 2015 Advances in Artificial Intelligence, Proceedings of the 14th International Conference of the Italian Association for Artificial Intelligence, Springer, LNCS, vol. 9336, pp. 410\u2013423 (2015)","DOI":"10.1007\/978-3-319-24309-2_31"},{"issue":"2","key":"252_CR34","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1017\/S0269888912000434","volume":"28","author":"TS Vaquero","year":"2013","unstructured":"Vaquero, T.S., Silva, J.R., Tonidandel, F., Beck, J.C.: itSIMPLE: towards an integrated design system for real planning applications. Knowl. Eng. Rev. 28(2), 215\u2013230 (2013)","journal-title":"Knowl. Eng. Rev."},{"key":"252_CR35","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1080\/095281399146607","volume":"11","author":"T Vidal","year":"1999","unstructured":"Vidal, T., Fargier, H.: Handling contingency in temporal constraint networks: from consistency to controllabilities. J. Exp. Theor. Artif. Intell. 11, 23\u201345 (1999)","journal-title":"J. Exp. Theor. Artif. Intell."}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-015-0252-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00236-015-0252-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-015-0252-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-015-0252-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,16]],"date-time":"2023-08-16T03:53:10Z","timestamp":1692157990000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00236-015-0252-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12,11]]},"references-count":35,"journal-issue":{"issue":"6-8","published-print":{"date-parts":[[2016,10]]}},"alternative-id":["252"],"URL":"https:\/\/doi.org\/10.1007\/s00236-015-0252-z","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,12,11]]}}}