TIC137: Lógica, Computación e Ingeniería del Conocimiento

José Antonio Alonso Jiménez

jalonso ARROBA us PUNTO es

Grupo de Lógica Computacional

Verificación formal de programas y sistemas informáticos asistida por demostradores automáticos.
Desarrollo de aplicaciones mediante programación declarativa usando sistemas de programación lógica y funcional.
Construcción de sistemas expertos aplicados a entornos industriales.
Estudio y aplicación de sistemas de representación del conocimiento y razonamiento.
Aplicación de técnicas de Inteligencia Artificial a la web social (web 2.0).
Técnicas de revisión semántica de ontologías.
Web semántica y Metaweb.

Grupo de Lógica Matemática

Lógica Lineal (estudio de álgebras de funciones computables y diversas clases subrecursivas).
Aritmética Acotada (estudio de Fragmentos de la Aritmética de primer y segundo orden).