Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 21
Number of items: 21
  • Open Access
    Ondrčková, S., Barták, R., Bercher, P., & Behnke, G. (2023). On the Impact of Grounding on HTN Plan Verification via Parsing. In A. P. Rocha, L. Steels, & J. van den Herik (Eds.), ICAART 2023: Proceedings of the 15th International Conference on Agents and Artificial Intelligence : February 22-24, 2023, Lisbon (Vol. 3, pp. 92-99). SciTePress Science and Technology Publications. https://doi.org/10.5220/0011618400003393
  • Open Access
    Lin, S., Behnke, G., & Bercher, P. (2023). Accelerating SAT-Based HTN Plan Verification by Exploiting Data Structures from HTN Planning. In K. Gal, A. Nowé, G. J. Nalepa, R. Fairstein, & R. Rădulescu (Eds.), ECAI 2023: 26th European Conference on Artificial Intelligence, September 30-October 4, 2023, Kraków, Poland, including 12th Conference on Prestigious Applications of Intelligent Systems ( PAIS 2023) : proceedings (pp. 1489-1496). (Frontiers in Artificial Intelligence and Applications; Vol. 372). IOS Press. https://doi.org/10.3233/FAIA230428
  • Open Access
    Behnke, G., Speck, D., Katz, M., & Sohrabi, S. (2023). On Partial Satisfaction Planning with Total-Order HTNs. In S. Koenig, R. Stern, & M. Vallati (Eds.), Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling: July 8–13, 2023, Prague, Czech Republic (pp. 42-51). (ICAPS; Vol. 33). AAAI Press. https://doi.org/10.1609/icaps.v33i1.27177
  • Open Access
    Behnke, G., & Wais, N. (2023). On the Semantic Difference of Judicial and Standard Language. In Nineteenth International Conference on Artificial Intelligence and Law: Proceedings of the Conference : Braga, Portugal, June 19-23, 2023, Universidade do Minho Law School (pp. 382-386). The Association for Computing Machinery. https://doi.org/10.1145/3594536.3595123
  • 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
  • Behnke, G., & Wais, N. (2022). Quantifizierung fachsprachlich bedingter Bedeutungsunterschiede in Gerichtsentscheidungen. Zeitschrift für Digitalisierung und Recht (ZfDR), 2(1), 35-52.
  • 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 2 of 3