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