Department: COMPUTER SCIEN

Area: Computer Science and Artificial Intelligence

Doctor by the Universitat de València with the thesis Formalización del razonamiento cualitativo y temporal para el tratamiento de problemas asociados al control de sistemas físicos con representación multidimensional 1993. Supervised by Dr. Gregorio Martín Quetglás.