email: otero@dc.fi.udc.es

Website: -

Biografía:

Profesor asociado de informática y de la inteligencia artificial- Departamento del laboratorio de la inteligencia artificial de la universidad de la informática de la Coruña Campus de Elvina, España

Líneas de investigación:

Representación y razonamiento del conocimiento para los sistemas dinámicos. Razonamiento de Nonmonotonic, formalismos de la acción, lógica que programa, lógica inductiva, diagnosis Modelo-Basada, apremios temporales, semántica de la lengua natural, ambientes del AI, sistemas concurrentes del AI, AI en medicina.

Principalmente dedica su esfuerzo al proyecto de Medtool, un ambiente del AI para los sistemas dinámicos. Las herramientas teóricas incluyen la lógica de los sistemas dinámicos (lógica de la pertinencia) y de los algoritmos para el razonamiento automatizado.

Usos prácticos en dominios dinámicos, principalmente en medicina. Intereses anteriores en modelar y la simulación de los sistemas dinámicos (DEVS), reglas de producción, redes de los nervios.