> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: A Language for Timeline-based Planning Beteiligte: Bernardi, Giulio [Verfasser:in]; Cesta, Amedeo [Verfasser:in]; Orlandini, Andrea [Verfasser:in]; Umbrico, Alessandro [Verfasser:in]; Mayer, Marta Cialdea [Verfasser:in] Erschienen: 2020 Erschienen 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 Sprache: Englisch Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang