References

  1. Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari & Valentino Picotti (2022): Controller Synthesis for Timeline-based Games. In: Pierre Ganty & Dario Della Monica: Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2022, Madrid, Spain, September 21-23, 2022, EPTCS 370, pp. 131–146, doi:10.4204/EPTCS.370.9.
  2. James F. Allen (1983): Maintaining Knowledge about Temporal Intervals. Commun. ACM 26(11), pp. 832–843, doi:10.1145/182.358434.
  3. Laura Bozzelli, Alberto Molinari, Angelo Montanari & Adriano Peron (2018): Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground. In: Andrea Orlandini & Martin Zimmermann: Proceedings of the 9th International Symposium on Games, Automata, Logics, and Formal Verification, EPTCS 277, pp. 191–205, doi:10.4204/EPTCS.277.14.
  4. Laura Bozzelli, Alberto Molinari, Angelo Montanari & Adriano Peron (2018): Decidability and Complexity of Timeline-Based Planning over Dense Temporal Domains. In: Michael Thielscher, Francesca Toni & Frank Wolter: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018. AAAI Press, pp. 627–628. Available at https://aaai.org/ocs/index.php/KR/KR18/paper/view/17995.
  5. Steve Chien, Gregg Rabideau, Russell Knight, Robert Sherwood, Barbara Engelhardt, Darren Mutz, Tara Estlin, Benjamin Smith, Forest Fisher & T Barrett (2000): ASPEN-Automating space mission operations using automated planning and scheduling. In: SpaceOps 2000. AIAA Press.
  6. Steve A. Chien, Rob Sherwood, Daniel Tran, Benjamin Cichy, Gregg Rabideau, Rebecca Castaño, Ashley Davies, Rachel Lee, Dan Mandl, Stuart Frye, Bruce Trout, Jerry Hengemihle, Jeff D'Agostino, Seth Shulman, Stephen G. Ungar, Thomas Brakke, Darrell Boyer, Jim Van Gaasbeck, Ronald Greeley, Thomas Doggett, Victor R. Baker, James M. Dohm & Felipe Ip (2004): The EO-1 Autonomous Science Agent. In: 3rd International Joint Conference on Autonomous Agents and Multiagent Systems. IEEE Computer Society, pp. 420–427, doi:10.1109/AAMAS.2004.10022.
  7. Marta Cialdea Mayer, Andrea Orlandini & Alessandro Umbrico (2016): Planning and execution with flexible timelines: a formal account. Acta Informatica 53(6-8), pp. 649–680, doi:10.1007/s00236-015-0252-z.
  8. Dario Della Monica, Nicola Gigante, Salvatore La Torre & Angelo Montanari (2020): Complexity of Qualitative Timeline-Based Planning. In: Emilio Muñoz-Velasco, Ana Ozaki & Martin Theobald: 27th International Symposium on Temporal Representation and Reasoning, TIME 2020, September 23-25, 2020, Bozen-Bolzano, Italy, LIPIcs 178. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 16:1–16:13, doi:10.4230/LIPICS.TIME.2020.16.
  9. Maria Fox & Derek Long (2003): PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains. J. Artif. Intell. Res. 20, pp. 61–124, doi:10.1613/jair.1129.
  10. Simone Fratini, Amedeo Cesta, Andrea Orlandini, Riccardo Rasconi & Riccardo De Benedictis (2011): APSI-based Deliberation in Goal Oriented Autonomous Controllers. In: ASTRA 2011 11. ESA.
  11. Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer & Andrea Orlandini (2016): Timelines Are Expressive Enough to Capture Action-Based Temporal Planning. In: Curtis E. Dyreson, Michael R. Hansen & Luke Hunsberger: 23rd International Symposium on Temporal Representation and Reasoning,. IEEE Computer Society, pp. 100–109, doi:10.1109/TIME.2016.18.
  12. Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer & Andrea Orlandini (2017): Complexity of Timeline-Based Planning. In: Laura Barbulescu, Jeremy Frank, Mausam & Stephen F. Smith: Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017. AAAI Press, pp. 116–124. Available at https://aaai.org/ocs/index.php/ICAPS/ICAPS17/paper/view/15758.
  13. Nicola Gigante, Angelo Montanari, Andrea Orlandini, Marta Cialdea Mayer & Mark Reynolds (2020): On timeline-based games and their complexity. Theoretical Computer Science 815, pp. 247–269, doi:10.1016/j.tcs.2020.02.011.
  14. Dario Della Monica, Nicola Gigante, Angelo Montanari & Pietro Sala (2018): A Novel Automata-Theoretic Approach to Timeline-Based Planning. In: Michael Thielscher, Francesca Toni & Frank Wolter: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018. AAAI Press, pp. 541–550. Available at https://aaai.org/ocs/index.php/KR/KR18/paper/view/18024.
  15. Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala & Guido Sciavicco (2017): Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints. In: Carles Sierra: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017. ijcai.org, pp. 1008–1014, doi:10.24963/IJCAI.2017/140.
  16. Nicola Muscettola (1994): HSTS: Integrating Planning and Scheduling. In: Monte Zweben & Mark S. Fox: Intelligent Scheduling, chapter 6. Morgan Kaufmann, pp. 169–212.
  17. Amir Pnueli & Roni Rosner (1989): On the Synthesis of an Asynchronous Reactive Module. In: Giorgio Ausiello, Mariangiola Dezani-Ciancaglini & Simona Ronchi Della Rocca: 16th International Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science 372. Springer, pp. 652–671, doi:10.1007/BFB0035790.
  18. Alessandro Umbrico, Amedeo Cesta, Marta Cialdea Mayer & Andrea Orlandini (2017): PLATINUm: A New Framework for Planning and Acting. In: Floriana Esposito, Roberto Basili, Stefano Ferilli & Francesca A. Lisi: Proceedings of the 16th International Conference of the Italian Association for Artificial Intelligence, LNCS 10640. Springer, pp. 498–512, doi:10.1007/978-3-319-70169-1_37.
  19. Alessandro Umbrico, Amedeo Cesta & Andrea Orlandini (2023): Human-Aware Goal-Oriented Autonomy through ROS-Integrated Timeline-based Planning and Execution. In: 32nd IEEE International Conference on Robot and Human Interactive Communication. IEEE, pp. 1164–1169, doi:10.1109/RO-MAN57019.2023.10309516.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org