Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 23
Number of items: 23
  • Open Access
    Lin, S., Behnke, G., Ondrčková, S., Barták, R., & Bercher, P. (2022). On Total-Order HTN Plan Verification with Method Preconditions: An Extension of the CYK Parsing Algorithm. In HPLAN 2022 : Proceedings of the 5th Workshop on Hierarchical Planning: 32nd International Conference on Automated Planning and Scheduling : June 13-24, 2022, virtually from Singapore (pp. 52-58). ICAPS. https://icaps22.icaps-conference.org/workshops/HPlan/papers/paper-08.pdf
  • Open Access
    Lin, S., Behnke, G., & Bercher, P. (2022). Exploiting Solution Order Graphs and Path Decomposition Trees for More Efficient HTN Plan Verification via SAT Solving. In HPLAN 2022 : Proceedings of the 5th Workshop on Hierarchical Planning: 32nd International Conference on Automated Planning and Scheduling : June 13-24, 2022, virtually from Singapore (pp. 24-28). ICAPS. https://icaps22.icaps-conference.org/workshops/HPlan/papers/paper-04.pdf
  • 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