Publisher
Springer International Publishing
Reference50 articles.
1. Apt, K.R., Wallace, M.G.: Constraint Logic Programming Using ECL$$^i$$PS$$^e$$. Cambridge University Press, New York (2007)
2. Bensalem, S., Havelund, K., Orlandini, A.: Verification and validation meet planning and scheduling. Int. J. Softw. Tools Technol. Transfer 16(1), 1–12 (2014)
3. Bertoli, P., Cimatti, A., Roveri, M., Traverso, P.: Strong planning under partial observability. Artif. Intell. 170(4), 337–384 (2006). https://doi.org/10.1016/j.artint.2006.01.004. https://www.sciencedirect.com/science/article/pii/S0004370206000075
4. Bit-Monnot, A., Ghallab, M., Ingrand, F., Smith, D.E.: FAPE: a Constraint-based Planner for Generative and Hierarchical Temporal Planning. arXiv preprint arXiv:2010.13121 (2020)
5. Blum, A.L., Furst, M.L.: Fast planning through planning graph analysis. Artif. Intell. 90(1–2), 281–300 (1997)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献