BibTeX record conf/aaai/LinBOBB23

• > Home > conf/aaai/LinBOBB23

@inproceedings{DBLP:conf/aaai/LinBOBB23,
  author       = {Songtuan Lin and
                  Gregor Behnke and
                  Simona Ondrckov{\'{a}} and
                  Roman Bart{\'{a}}k and
                  Pascal Bercher},
  editor       = {Brian Williams and
                  Yiling Chen and
                  Jennifer Neville},
  title        = {On Total-Order {HTN} Plan Verification with Method Preconditions -
                  An Extension of the {CYK} Parsing Algorithm},
  booktitle    = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2023, Thirty-Fifth Conference on Innovative Applications of Artificial
                  Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
                  in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
                  7-14, 2023},
  pages        = {12041--12048},
  publisher    = {{AAAI} Press},
  year         = {2023},
  url          = {https://doi.org/10.1609/aaai.v37i10.26420},
  doi          = {10.1609/AAAI.V37I10.26420},
  timestamp    = {Sun, 04 Aug 2024 19:38:20 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/LinBOBB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}