Author:
Ammar Sabrine,Sakka Rouis Taoufik,Bhiri Mohamed Tahar,Gaaloul Walid
Publisher
Springer International Publishing
Reference9 articles.
1. Abdulaziz, M., Lammich, P.: A formally verified validator for classical planning problems and solutions. In: IEEE 30th International Conference on Tools with Artificial Intelligence (2018). https://doi.org/10.1017/CBO9781139195881
2. Bibai, J.: Segmentation et Evolution pour la Planification : Le Système DivideAndEvolve. Paris Sud University, THALES Research and Technology France (2010)
3. Ghallab, M., Nau, D., Traverso, P.: Automated planning: theory & practice (2004)
4. Howey, R., Long, D., Fox, M.: VAL: automatic plan validation, continuous effects and mixed initiative planning using PDDL. In: Tools with Artificial Intelligence. ICTAI (2004). https://doi.org/10.1109/ICTAI.2004.120
5. Haslum, P., Lipovetzky, N., Magazzeni, D., Muise, C.: An introduction to the planning domain definition language. In: Synthesis Lectures on Artificial Intelligence and Machine Learning (2019). https://doi.org/10.2200/S00900ED2V01Y201902AIM042
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献