X Taller internacional sobre lenguajes y tecnologías de agentes declarativos en Valencia (España)
Los sistemas distribuidos incluyen en muchos casos componentes altamente autónomos que funcionan en entornos abiertos, dinámicos e impredecibles. El desarrollo y el manejo de tales sistemas requieren modelos y tecnologías con los que garantizar la predictibilidad y posibilitar la verificación de propiedades críticas, todo ello sin perder flexibilidad.
El diseño de tecnologías que permitan cumplir estos requisitos entraña una dificultad considerable. Los enfoques declarativos tienen el potencial de ofrecer una solución al respecto y han suscitado interés en ámbitos de aplicación importantes.
Este evento será un foro de debate para el amplio colectivo de investigadores y profesionales dedicados a los agentes. Su finalidad es llamar la atención de los interesados en los lenguajes y las tecnologías declarativas sobre el diseño de sistemas complejos de agentes.Para más información, consulte: http://www.di.unito.it/~baldoni/DALT-2012/(se abrirá en una nueva ventana)