Andrea Orlandini, Giulio Bernardi, Amedeo Cesta, Alberto Finzi. Integrating Knowledge Engineering for Planning with Validation and Verification Tools. In Matteo Baldoni, Cristina Baroglio, Guido Boella, Roberto Micalizio, editors, AI*IA 2013: Advances in Artificial Intelligence - XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings. Volume 8249 of Lecture Notes in Computer Science, pages 251-262, Springer, 2013. [doi]
Abstract is missing.