Media type: E-Article Title: A Language for Timeline-based Planning Contributor: Bernardi, Giulio [Author]; Cesta, Amedeo [Author]; Orlandini, Andrea [Author]; Umbrico, Alessandro [Author]; Mayer, Marta Cialdea [Author] Published: 2020 Published in: Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis (2. : 2020 : Online): 2nd Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis, September 25, 2020 ; (2020), Seite 53-58 Language: English Origination: Footnote: Access State: Open Access