BibTeX record conf/aaai/SpeckMN20

• > Home > conf/aaai/SpeckMN20

@inproceedings{DBLP:conf/aaai/SpeckMN20,
  author       = {David Speck and
                  Robert Mattm{\"{u}}ller and
                  Bernhard Nebel},
  title        = {Symbolic Top-k Planning},
  booktitle    = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2020, The Thirty-Second Innovative Applications of Artificial Intelligence
                  Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
                  Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
                  February 7-12, 2020},
  pages        = {9967--9974},
  publisher    = {{AAAI} Press},
  year         = {2020},
  url          = {https://doi.org/10.1609/aaai.v34i06.6552},
  doi          = {10.1609/AAAI.V34I06.6552},
  timestamp    = {Mon, 05 Feb 2024 20:26:59 +0100},
  biburl       = {https://dblp.org/rec/conf/aaai/SpeckMN20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}