Tecnologías

El grupo de investigación trabaja en aplicaciones de lnteligencia Artificial. Principalmente en la verificación de programas, sistemas expertos, representación del conocimiento, web 2.0, ontologías y web semántica.

La oferta tecnológica del grupo se enmarca en los siguientes puntos:

• Inteligencia Artificial.
• 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.
• Metaweb.