|
|
Línea 1: |
Línea 1: |
− | '''Listado de Proyectos 2008/09'''
| + | |
− | # Proyecto "media" sobre Second Life
| |
− | # Diseño e implementación de un periódico metaweb
| |
− | # Diseño e implementación de una versión de SQUEAK para LEGO Mindstorms
| |
− | * Desarrollo de un piloto y un configurador para el entorno de juegos "F1-Torcs" aplicando técnicas de IA y programación de agentes (ADJUDICADO)
| |
− | * Desarrollo de un bot para el entorno de juegos Unreal Tournament 2004
| |
− | * Uso del demostrador automático ACL2 para demostración de corrección de programas
| |
− | * Aplicaciones de los modelos ocultos de Markov al procesamiento del lenguaje natural
| |
− | * Implementación de técnicas de Recuperación de la Información en la web
| |
− | * Clustering: aplicación a la extracción de información en la web
| |
− | * Desarrollo de un módulo OCX para integrar CLIPS en Visual Basic
| |
− | * Desarrollo de un módulo OCX para integrar LISP en Visual Basic
| |
− | * Adaptación a Eclipse de un entorno de programación para sistemas celulares
| |
− | * Editor de demostraciones para APLI2.
| |
− | * Editor de fórmulas para APLI2.
| |
− | * Minería de datos para APLI2.
| |
− | * Desarrollo de un equipo competitivo para la Robocup
| |
− | * Sistema para la gestion semántica de información audiovisual
| |
− | * Proyectos de Inteligencia Artificial en Second Life
| |
− | * Agentes FLUX para jugar al ajedrez o al dominó
| |
− | * Sistema de anotación automática semántica para Internet Profunda
| |
− | * Sistema para la composición inteligente de Servicios Web 2.0
| |
− | * Diseño de un entorno genérico para la programación de agentes reactivos
| |
− | * SEMANTICBIOS: un sistema para el almacenamiento biográfico semántico
| |
− | * Aplicaciones de la programación declarativa
| |
− | * Diseño de un demostrador automático
| |
− | * A graphic interface for a theorem proving system
| |
− | * Verification in ACL2 of Unlimited Register Machines programs
| |
− | * Simulador para psicología sintética: Vehículos de Braitenberg
| |
− | * Ontología para la gestión del conocimiento empresarial
| |
− | * Servidor Web Semántico genérico usando DRUPAL o Joomla!
| |
− | * Proveedor genérico para servicios Web (Semánticos)
| |
− | * Aplicaciones de ConceptNet
| |
− | * Desarrollo de un sistema experto
| |
− | * Metodología de agentificación para 3APL
| |
− | * Elaboración de un curso de agentes físicos sobre SQUEAK
| |
− | * Simulación, mediante técnicas de sistemas multiagente, de conflictos internacionales mediante la plataforma EINSTEIN
| |
− | * Diseño de herramientas de IA para sistemas de inteligencia colectiva
| |
− | * Sistema para el alineamiento automatizado de folksonomías mediante buscadores Web
| |
− | * Proyecto Web 2.0 con ONGs
| |
− | * Buscador geográfico para SecondLife sobre Google
| |
− | * Proyectos de Inteligencia Artificial en mundos virtuales
| |
− | * Sistema inteligente para la publicidad contextual
| |
− | * Sistema inteligente de apuestas
| |
− | * Herramientas de anotación para textos literarios (ADJUDICADO)
| |