Responsable:
- José Antonio Alonso Jiménez
- jalonso ARROBA us PUNTO es
Descripción:
- 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.
- Más Información.
- 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).
- Más Información.
