Grupos de Investigación

TIC137: Logica, Computacion e Ingenieria del Conocimiento

Responsable: Joaquin Borrego Diaz
Teléfono: 95.455.78.79
Email: Solicitar correo

Componentes:*

Líneas de Investigación:
  • Razonamiento Automático
  • Lógica Computacional.
  • Métodos Formales en Computación e Inteligencia Artificial.
  • Teoría Aritméticas de Primer y Segundo Orden
  • Algoritmos y Modelos Computacionales para la Modelización de Sistemas Complejos
  • Aprendizaje Automático Aplicado al Análisis de Sistemas Complejos
  • Aplicaciones del Análisis Formal de Conceptos en Inteligencia Artificial
  • Lógica Matemática
  • Aspectos Matemáticos del Aprendizaje Automático
  • Representación del Conocimiento y Razonamiento en Inteligencia Artificial
  • Subrecursión: Clasificación de Funciones Computables
Actividad Grupo (códigos SIC):
  • E-Publishing, Contenidos Digitales
  • E-Learning
  • Tecnologías de Internet/ Comunicación (Inalámbrico, Wi-Fi, Bluetooth)
  • Tecnología de Información / Informática
  • Inteligencia Artificial (AI)
  • Filtrado de Información, Semántica, Estadística
  • Algoritmos y Complejos
  • Modelado Matemático

 

(*) Aparecen solo aquellos componentes que han autorizado en SICA la exportación de sus datos a otras entidades, para ello puede seguir los pasos que le indica esta página, y una vez autorizado sus datos se mostrarán en unos días

Vicerrectorado de Investigación. Universidad de Sevilla. Pabellón de Brasil. Paseo de las Delicias s/n. Sevilla