ML Anthology

On the Decidability of HTN Planning with Task Insertion

Thomas Geier, Pascal Bercher
IJCAI 2011 pp. 1955-1961
doi:10.5591/978-1-57735-516-8/IJCAI11-327 /ijcai/2011/geier2011ijcai-decidability/
IJCAI Semantic Scholar

Cite

Text

Geier and Bercher. "On the Decidability of HTN Planning with Task Insertion." International Joint Conference on Artificial Intelligence, 2011. doi:10.5591/978-1-57735-516-8/IJCAI11-327

Markdown

[Geier and Bercher. "On the Decidability of HTN Planning with Task Insertion." International Joint Conference on Artificial Intelligence, 2011.](https://mlanthology.org/ijcai/2011/geier2011ijcai-decidability/) doi:10.5591/978-1-57735-516-8/IJCAI11-327

BibTeX

@inproceedings{geier2011ijcai-decidability,
  title     = {{On the Decidability of HTN Planning with Task Insertion}},
  author    = {Geier, Thomas and Bercher, Pascal},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2011},
  pages     = {1955-1961},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-327},
  url       = {https://mlanthology.org/ijcai/2011/geier2011ijcai-decidability/}
}