A Language for Timeline-based Planning (bibtex)

by Giulio Bernardi, Amedeo Cesta, Orlandini, Andrea, Umbrico, Alessandro and Cialdea Mayer, Marta

Reference:

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.

Bibtex Entry:

@inproceedings{DBLP:conf/overlay/0001COUM20,
  author    = {Giulio Bernardi and Amedeo Cesta and Orlandini, Andrea and Umbrico, Alessandro and Cialdea Mayer, Marta },
  editor    = {Riccardo De Benedictis and Luca Geretti and Andrea Micheli},
  title     = {A Language for Timeline-based Planning},
  booktitle = {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},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2785},
  pages     = {53--58},
  publisher = {CEUR-WS.org},
  year      = {2020},
  url       = {http://ceur-ws.org/Vol-2785/paper9.pdf},
  timestamp = {Mon, 04 Jan 2021 17:01:43 +0100},
  biburl    = {https://dblp.org/rec/conf/overlay/0001COUM20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}