[19] | On timeline-based games and their complexity (Nicola Gigante, Angelo Montanari, Orlandini, Andrea, Cialdea Mayer, Marta and Mark Reynolds), In Theor. Comput. Sci., volume 815, 2020. |
[18] | A Language for Timeline-based Planning (Giulio Bernardi, Amedeo Cesta, Orlandini, Andrea, Umbrico, Alessandro and Cialdea Mayer, Marta), In Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge 2020 (BOSK 2020), September 25, 2020 (Riccardo De Benedictis, Luca Geretti, Andrea Micheli, eds.), CEUR-WS.org, volume 2785, 2020. |
[17] | Design of Timeline-Based Planning Systems for Safe Human-Robot Collaboration (Orlandini, Andrea, Cialdea Mayer, Marta, Umbrico, Alessandro and Amedeo Cesta), Chapter in Knowledge Engineering Tools and Techniques for AI Planning (Mauro Vallati, Diane E. Kitchin, eds.), Springer, 2020. |
[16] | Evaluating Robustness of an Acting Framework over Temporally Uncertain Domains (Umbrico, Alessandro, Amedeo Cesta, Cialdea Mayer, Marta and Orlandini, Andrea), In AI*IA 2019 - Advances in Artificial Intelligence - XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19-22, 2019, Proceedings (Mario Alviano, Gianluigi Greco, Francesco Scarcello, eds.), Springer, volume 11946, 2019. |
[15] | A Prototype for the Robust Execution of Flexible Plans (Annarita Lanzilli, Cialdea Mayer, Marta, Amedeo Cesta, Orlandini, Andrea and Umbrico, Alessandro), In Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, co-located with the 18th International Conference of the Italian Association for Artificial Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019 (Nicola Gigante, Federico Mari, Orlandini, Andrea, eds.), CEUR-WS.org, volume 2509, 2019. |
[14] | Integrating resource management and timeline-based planning (Umbrico, Alessandro, Cesta, Amedeo, Cialdea Mayer, Marta and Orlandini, Andrea), In Proceedings International Conference on Automated Planning and Scheduling, ICAPS, volume 2018-June, 2018. |
[13] | A game-theoretic approach to timeline-based planning with uncertainty (Gigante, N., Montanari, A., Cialdea Mayer, Marta, Orlandini, Andrea and Reynolds, M.), In 25th International Symposium on Temporal Representation and Reasoning, TIME 2018, Warsaw, Poland, October 15-17, 2018, volume 120, 2018. |
[12] | Complexity of timeline-based planning (Gigante, N., Montanari, A., Cialdea Mayer, Marta and Orlandini, Andrea), In Proceedings International Conference on Automated Planning and Scheduling, ICAPS, 2017. |
[11] | Steps in assessing a timeline-based planner (Umbrico, Alessandro, Cesta, Amedeo, Cialdea Mayer, Marta and Orlandini, Andrea), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 10037 LNAI, 2016. |
[10] | An executable semantics of flexible plans in terms of timed game automata (Cialdea Mayer, Marta and Orlandini, Andrea), In Proceedings of the International Workshop on Temporal Representation and Reasoning, volume 2016-January, 2016. |
[9] | Timelines Are Expressive Enough to Capture Action-Based Temporal Planning (Gigante, N., Montanari, A., Cialdea Mayer, Marta and Orlandini, Andrea), In Proceedings of the International Workshop on Temporal Representation and Reasoning, volume 2016-December, 2016. |
[8] | Planning and execution with flexible timelines: a formal account (Cialdea Mayer, Marta, Orlandini, Andrea and Umbrico, Alessandro), In Acta Informatica, volume 53, 2016. |
[7] | Enriching a temporal planner with resources and a Hierarchy-based Heuristic (Umbrico, Alessandro, Orlandini, Andrea and Cialdea Mayer, Marta), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 9336 LNCS, 2015. |
[6] | Quality metrics to evaluate flexible timeline-based plans (Umbrico, Alessandro, Orlandini, Andrea and Cialdea Mayer, Marta), In Proceedings of the 6th Italian Workshop on Planning and Scheduling, volume 1493, 2015. |
[5] | A formal account of planning with flexible timelines (Cialdea Mayer, Marta, Orlandini, Andrea and Umbrico, Alessandro), In Proceedings of the International Workshop on Temporal Representation and Reasoning, 2014. |
[4] | Linear temporal logic as an executable semantics for planning languages (Cialdea Mayer, Marta, Limongelli, Carla, Orlandini, Andrea and Poggioni, Valentina), In Journal of Logic, Language and Information, volume 16, 2007. |
[3] | Pdk: The system and its language (Cialdea Mayer, Marta, Limongelli, Carla, Orlandini, Andrea and Poggioni, Valentina), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 3702 LNAI, 2005. |
[2] | Planning with graded fluents and actions (Cialdea, Marta, Limongelli, Carla, Orlandini, Andrea and Poggioni, Valentina), In IJCAI International Joint Conference on Artificial Intelligence, 2005. |
[1] | Planning under uncertainty in linear time logic (Cialdea Mayer, Marta, Limongelli, Carla, Orlandini, Andrea and Poggioni, Valentina), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 2829, 2003. |