BibTeX record conf/aips/ErikssonRH18

download as .bib file

@inproceedings{DBLP:conf/aips/ErikssonRH18,
  author       = {Salom{\'{e}} Eriksson and
                  Gabriele R{\"{o}}ger and
                  Malte Helmert},
  editor       = {Mathijs de Weerdt and
                  Sven Koenig and
                  Gabriele R{\"{o}}ger and
                  Matthijs T. J. Spaan},
  title        = {A Proof System for Unsolvable Planning Tasks},
  booktitle    = {Proceedings of the Twenty-Eighth International Conference on Automated
                  Planning and Scheduling, {ICAPS} 2018, Delft, The Netherlands, June
                  24-29, 2018},
  pages        = {65--73},
  publisher    = {{AAAI} Press},
  year         = {2018},
  url          = {https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17760},
  timestamp    = {Mon, 25 Jun 2018 13:46:20 +0200},
  biburl       = {https://dblp.org/rec/conf/aips/ErikssonRH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics