Publications in ai-romatre-pubs.bib - Author: Umbrico, Alessandro
2020
[10] A Language for Timeline-based Planning (, , , and ), 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, . [bibtex] [pdf]
[9] Design of Timeline-Based Planning Systems for Safe Human-Robot Collaboration (, , and ), Chapter in Knowledge Engineering Tools and Techniques for AI Planning (Mauro Vallati, Diane E. Kitchin, eds.), Springer, . [bibtex] [url] [doi]
2019
[8] Evaluating Robustness of an Acting Framework over Temporally Uncertain Domains (, , and ), 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, . [bibtex] [url] [doi]
[7] A Prototype for the Robust Execution of Flexible Plans (, , , and ), 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, . [bibtex] [pdf]
2018
[6] Integrating resource management and timeline-based planning (, , and ), In Proceedings International Conference on Automated Planning and Scheduling, ICAPS, volume 2018-June, . [bibtex] [url]
2016
[5]Steps in assessing a timeline-based planner (, , and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 10037 LNAI, . [bibtex] [doi]
[4]Planning and execution with flexible timelines: a formal account (, and ), In Acta Informatica, volume 53, . [bibtex] [doi]
2015
[3]Enriching a temporal planner with resources and a Hierarchy-based Heuristic (, and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 9336 LNCS, . [bibtex] [doi]
[2] Quality metrics to evaluate flexible timeline-based plans (, and ), In Proceedings of the 6th Italian Workshop on Planning and Scheduling, volume 1493, . [bibtex] [url]
2014
[1]A formal account of planning with flexible timelines (, and ), In Proceedings of the International Workshop on Temporal Representation and Reasoning, . [bibtex] [doi]
Powered by bibtexbrowser