Tecnologías
Revisión del 18:36 19 oct 2008 de Jalonso (discusión | contribuciones) (New page: 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...)
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.
- 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écnícas de revisión semántica de ontologías.
- Web semántica.
- Metaweb.