Aplicaciones del Calculo Simbólico en razonamiento automático y en el desarrollo y verificación teórica y práctica de Sistemas Expertos. Gestión de tráfico ferroviario y de edificios inteligentes (subproyecto de un proyecto coordinado)
En este subproyecto se aplican técnicas de Algebra Computacional al desarrollo, verificación y depuración de Sistemas Expertos en diversas aéreas de aplicación directa en el mundo real, así como desarrollar nuevas técnicas de demostración automática de te
Área: Política, planificación, economía y energía y sostenibilidad,