A new hierarchical approach to requirement analysis of problems in automated planning. - Javier Martinez Silva; José Reinaldo Silva (Eng. Appl. Artif. Intell., 2019)

Formal Knowledge Engineering for Planning: Pre and Post-Design Analysis. - José Reinaldo Silva; Javier Martinez Silva; Tiago Stegun Vaquero (Knowledge Engineering Tools and Techniques for AI Planning, 2020)