We would like to thank Leonardo Lesmo for his guidance, encouragement and support throughout this research, and the UMUAI's editor and reviewers, who helped improving the style and content of this paper.
This work was partially supported by MURST 60% and by the Italian National Research Council (CNR), project ``Pianificazione Automatica''.