Diferencia entre revisiones de «Tecnologías»
(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...) |
|||
| Línea 4: | Línea 4: | ||
* Inteligencia Artificial. | * Inteligencia Artificial. | ||
* Verificación formal de programas y sistemas informáticos asistida por demostradores automáticos. | * 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. | * Construcción de sistemas expertos aplicados a entornos industriales. | ||
* Estudio y aplicación de sistemas de representación del conocimiento y razonamiento. | * 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). | * 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. | * Web semántica. | ||
* Metaweb. | * Metaweb. | ||
Revisión del 18:41 19 oct 2008
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.
