Iniciar Sesión

Acceso mediante UVUS

Usuario
Contraseña *

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.