{"type":"ScholarlyArticle","title":"On the Complexity and Expressiveness of Automated Planning Languages Supporting Temporal Reasoning","authors":[{"name":"Nicola Gigante","slug":"nicola-gigante","given":"Nicola","family":"Gigante","affiliation":"University of Udine , Italy"}],"abstract":"Automated planning is an important area of Artificial Intelligence, which has been thoroughly developed in the last decades. In recent years, a significant amount of research has focused on planning languages and systems supporting temporal reasoning, recognizing its importance in modeling and solving real-world complex tasks. Many such languages are action-based, i.e. they model planning problems by specifying which actions can be executed at any given time to affect the environment. Timeline-based planning, a different paradigm originally introduced to support planning and scheduling of space operations, models planning domains as systems composed of a set of independent, but interacting, components, whose behavior over time, the timelines, is governed by a set of temporal constraints. A thorough theoretical study of timeline-based planning languages, and a rigorous comparison with action-based languages, are still missing. We outline recent results and future directions on this front.","doi":"10.24963/ijcai.2017/750","url":"https://ijcai.org/proceedings/2017/750","pdf":"https://ijcai.org/proceedings/2017/0750.pdf","markdown":"https://ijcai.org/proceedings/2017/750.md","bibtex":"https://ijcai.org/proceedings/2017/bibtex/750","volume":{"slug":"2017","title":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2017","url":"https://ijcai.org/proceedings/2017/","year":2017,"location":"Melbourne, Australia","dates":"19-25 August 2017","editors":"Carles Sierra","isbn":"978-0-9992411-0-3","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2017"},"section":"Doctoral Consortium","track":"Doctoral Consortium","number":750,"pages":{"first":5181,"last":5182},"keywords":["Artificial Intelligence: automated planning","Artificial Intelligence: planning"],"videos":[],"references":[{"position":1,"raw":"[Alur and Henzinger, 1994] R. Alur and T. A. Henzinger. A Really Temporal Logic. Journal of the ACM, 41(1):181- 204, 1994.","title":"A Really Temporal Logic","authors":"R Alur, T A Henzinger","year":"1994","venue":"Journal of the ACM","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Barreiro et al., 2012] J. Barreiro, M. Boyce, M. Do, J. Frank, M. Iatauro, T. Kichkaylo, P. Morris, J. Ong, E. Remolina, T. Smith, and D. Smith. EUROPA: A Plat- form for AI Planning, Scheduling, Constraint Program- ming, and Optimization. In Proc. of the 4 th International Competition on Knowledge Engineering for Planning and Scheduling, 2012.","title":"EUROPA: A Platform for AI Planning, Scheduling, Constraint Programming, and Optimization","authors":"J Barreiro, M Boyce, M Do, J Frank, M Iatauro, T Kichkaylo, P Morris, J Ong, E Remolina, T Smith, D Smith","year":"2012","venue":"Proc. of the 4 th International Competition on Knowledge Engineering for Planning and Scheduling","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Cesta et al., 2007] A. Cesta, G. Cortellessa, S. Fratini, A. Oddi, and N. Policella. An Innovative Product for Space Mission Planning: An A Posteriori Evaluation. In Proc. of the 17 th International Conference on Automated Planning and Scheduling, pages 57-64, 2007.","title":"An Innovative Product for Space Mission Planning: An A Posteriori Evaluation","authors":"A Cesta, G Cortellessa, S Fratini, A Oddi, N Policella","year":"2007","venue":"Proc. of the 17 th International Conference on Automated Planning and Scheduling","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Cesta et al., 2009] A. Cesta, G. Cortellessa, S. Fratini, and A. Oddi. Developing an End-to-End Planning Application from a Timeline Representation Framework. In Proc. of the 21 st Conference on Innovative Applications of Artifi- cial Intelligence, pages 66-71, 2009.","title":"Developing an End-to-End Planning Application from a Timeline Representation Framework","authors":"A Cesta, G Cortellessa, S Fratini, A Oddi","year":"2009","venue":"Proc. of the 21 st Conference on Innovative Applications of Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Chien et al., 2000] S. Chien, G. Rabideau, R. Knight, R. Sherwood, B. Engelhardt, D. Mutz, T. Estlin, B. Smith, F. Fisher, T. Barrett, G. Stebbins, and D. Tran. ASPEN -Automated Planning and Scheduling for Space Mission Operations. In Proc. of the 8 th International Conference on Space Operations, 2000.","title":"ASPEN -Automated Planning and Scheduling for Space Mission Operations","authors":"S Chien, G Rabideau, R Knight, R Sherwood, B Engelhardt, D Mutz, T Estlin, B Smith, F Fisher, T Barrett, G Stebbins, D Tran","year":"2000","venue":"Proc. of the 8 th International Conference on Space Operations","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Cialdea Mayer et al., 2007] M. Cialdea Mayer, C. Limon- gelli, A. Orlandini, and V. Poggioni. Linear Tempo- ral Logic as an Executable Semantics for Planning Lan- guages. Journal of Logic, Language and Information, 16(1):63-89, 2007.","title":"Linear Temporal Logic as an Executable Semantics for Planning Languages","authors":"M Mayer, C Limongelli, A Orlandini, V Poggioni","year":"2007","venue":"Journal of Logic, Language and Information","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Cialdea Mayer et al., 2016] M. Cialdea Mayer, A. Orlan- dini, and A. Umbrico. Planning and Execution with Flexi- ble Timelines: a Formal Account. Acta Informatica, 53(6- 8):649-680, 2016.","title":"Planning and Execution with Flexible Timelines: a Formal Account","authors":"M Mayer, A Orlandini, A Umbrico","year":"2016","venue":"Acta Informatica","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Della Monica et al., 2017] D. Della Monica, N. Gigante, A. Montanari, P. Sala, and G. Sciavicco. Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints. In Proc. of the 26 th International Joint Conference on Arti- ficial Intelligence. To appear, 2017.","title":"Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints","authors":"D Della Monica, N Gigante, A Montanari, P Sala, G Sciavicco","year":"2017","venue":"Proc. of the 26 th International Joint Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":"/proceedings/2017/140"},{"position":9,"raw":"[Gerevini et al., 2009] Alfonso Gerevini, Patrik Haslum, Derek Long, Alessandro Saetti, and Yannis Dimopoulos. Deterministic Planning in the Fifth International Planning Competition: PDDL3 and Experimental Evaluation of the Planners. Artificial Intelligence, 173(5-6):619-668, 2009.","title":"Deterministic Planning in the Fifth International Planning Competition: PDDL3 and Experimental Evaluation of the Planners","authors":"Alfonso Gerevini, Patrik Haslum, Derek Long, Alessandro Saetti, Yannis Dimopoulos","year":"2009","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Gigante et al., 2016] N. Gigante, A. Montanari, M. Cialdea Mayer, and A. Orlandini. Timelines are Expressive Enough to Capture Action-based Temporal Planning. In Proc. of the 23 rd International Symposium on Temporal Representation and Reasoning, pages 100-109, 2016.","title":"Timelines are Expressive Enough to Capture Action-based Temporal Planning","authors":"N Gigante, A Montanari, M Cialdea Mayer, A Orlandini","year":"2016","venue":"Proc. of the 23 rd International Symposium on Temporal Representation and Reasoning","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Gigante et al., 2017] N. Gigante, A. Montanari, M. Cialdea Mayer, and A. Orlandini. Complexity of Timeline-based Planning. In Proc. of the 27 th International Conference on Automated Planning and Scheduling. To appear, 2017.","title":"Complexity of Timeline-based Planning","authors":"N Gigante, A Montanari, M Cialdea Mayer, A Orlandini","year":"2017","venue":"Proc. of the 27 th International Conference on Automated Planning and Scheduling","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Jónsson et al., 2000] Ari K. Jónsson, Paul H. Morris, Nicola Muscettola, Kanna Rajan, and Benjamin D. Smith. Plan- ning in Interplanetary Space: Theory and Practice. In Proc. of 5 th International Conference on Artificial Intel- ligence Planning and Scheduling, pages 177-186, 2000.","title":"Planning in Interplanetary Space: Theory and Practice","authors":"Ari K Jónsson, Paul H Morris, Nicola Muscettola, Kanna Rajan, Benjamin D Smith","year":"2000","venue":"Proc. of 5 th International Conference on Artificial Intelligence Planning and Scheduling","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Muscettola, 1994] Nicola Muscettola. HSTS: Integrating Planning and Scheduling. In Monte Zweben and Mark S. Fox, editors, Intelligent Scheduling, chapter 6, pages 169- 212.","title":"HSTS: Integrating Planning and Scheduling","authors":"Nicola Muscettola","year":null,"venue":"Intelligent Scheduling","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"Morgan Kaufmann, 1994.","title":null,"authors":"Morgan Kaufmann","year":"1994","venue":null,"doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Rintanen, 2007] Jussi Rintanen. Complexity of Concurrent Temporal Planning. In Proc. of the 17 th International Conference on Automated Planning and Scheduling, pages 280-287, 2007.","title":"Jussi Rintanen. Complexity of Concurrent Temporal Planning","authors":"Rintanen","year":"2007","venue":"Proc. of the 17 th International Conference on Automated Planning and Scheduling","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Schewe and Tian, 2011] Sven Schewe and Cong Tian. Syn- thesising Classic and Interval Temporal Logic. In 18 th In- ternational Symposium on Temporal Representation and Reasoning, pages 64-71, 2011.","title":"Synthesising Classic and Interval Temporal Logic","authors":"Tian Schewe, Sven Schewe, Cong Tian","year":"2011","venue":"18 th International Symposium on Temporal Representation and Reasoning","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}