Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 24
Number of items: 24
  • Open Access
    Behnke, G., Pollitt, F., Höller, D., Bercher, P., & Alford, R. (2022). Making Translations to Classical Planning Competitive With Other HTN Planners. In K. Sycara, V. Honavar, & M. Spaan (Eds.), Proceedings of the 36th AAAI Conference on Artificial Intelligence: AAAI-22 : virtual conference, Vancouver, Canada, February 22-March 1, 2022 (Vol. 9, pp. 9687-9697). AAAI Press. https://doi.org/10.1609/aaai.v36i9.21203
  • Open Access
    Höller, D., Wichlacz, J., Bercher, P., & Behnke, G. (2022). Compiling HTN Plan Verification Problems into HTN Planning Problems. In A. Kumar, S. Thiébaux, P. Varakantham, & W. Yeoh (Eds.), Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling: June 13-24, 2022, virtual conference (pp. 145-150). (ICAPS; Vol. 32). AAAI Press. https://doi.org/10.1609/icaps.v32i1.19795
  • Open Access
    Höller, D., & Behnke, G. (2022). Encoding Lifted Classical Planning in Propositional Logic. In A. Kumar, S. Thiébaux, P. Varakantham, & W. Yeoh (Eds.), Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling: June 13-24, 2022, virtual conference (pp. 134-144). (ICAPS; Vol. 32). AAAI Press. https://doi.org/10.1609/icaps.v32i1.19794
  • Open Access
    Ondrčková, S., Barták, R., Bercher, P., & Behnke, G. (2022). On Heuristics for Parsing-based Verification of Hierarchical Plans with a Goal Task. In Proceedings of FLAIRS-35 (Proceedings of the International Florida AI Research Conference; Vol. 35). The Florida Artificial Intelligence Research Society. https://doi.org/10.32473/flairs.v35i.130606
Page 3 of 3