Javier Martinez Silva

According to our database, Javier Martinez Silva authored at least 2 papers between 2019 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

Formal Knowledge Engineering for Planning: Pre and Post-Design Analysis.

José Reinaldo Silva, Javier Martinez Silva, Tiago Stegun Vaquero

Proceedings of the Knowledge Engineering Tools and Techniques for AI Planning, 2020

2019

A new hierarchical approach to requirement analysis of problems in automated planning.

Javier Martinez Silva, José Reinaldo Silva

Eng. Appl. Artif. Intell., 2019