Inicio >
Áreas de I+D+I
Lógica Computacional e Inteligencia Artificial
- Líneas tecnológicas:
- Aplicación de métodos formales a la verificación automática de sistemas inteligentes (sistemas expertos, bases de conocimiento, sistemas de razonamiento y sistemas de aprendizaje automático), sistemas industriales críticos, protocolos de seguridad y componentes de software.
- Aprendizaje automático mediante programación lógica inductiva y análisis formal de conceptos.
- Herramientas para la edición y gestión de tutores inteligentes en la Web.
- Director del equipo de trabajo: José Antonio Alonso Jiménez
- Más información:
jalonso@us.es