Bringing Order to Chaos - A Compact Representation of Partial Order in SAT-Based HTN Planning. Behnke, G., Höller, D., & Biundo, S. In The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019, pages 7520–7529, 2019. AAAI Press.
Bringing Order to Chaos - A Compact Representation of Partial Order in SAT-Based HTN Planning [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/aaai/BehnkeHB19,
  author    = {Gregor Behnke and
               Daniel H{\"{o}}ller and
               Susanne Biundo},
  title     = {Bringing Order to Chaos - {A} Compact Representation of Partial Order
               in SAT-Based {HTN} Planning},
  booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
               2019, The Thirty-First Innovative Applications of Artificial Intelligence
               Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
               Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
               USA, January 27 - February 1, 2019},
  pages     = {7520--7529},
  publisher = {{AAAI} Press},
  year      = {2019},
  url       = {https://doi.org/10.1609/aaai.v33i01.33017520},
  doi       = {10.1609/aaai.v33i01.33017520},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/aaai/BehnkeHB19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0