«I Seminario sobre razonamiento con restricciones y estructuras gráficas» en Saint Andrews (Reino Unido)
6 Septiembre 2010 - 6 Septiembre 2010
Reino Unido
Del 6 al 10 de septiembre de 2010 se celebrará en Saint Andrews (Reino Unido) el «I Seminario sobre razonamiento con restricciones y estructuras gráficas».
El evento se centrará principalmente en el empleo de métodos gráficos que permiten activar propiedades estructurales de modelos con restricciones en una amplia gama de tareas, como la propagación de restricciones, «solution counting» (principio de conteo), razonamiento con preferencias y restricciones «suaves», inferencia bajo condiciones inciertas y configuración.
Las estructuras gráficas han ayudado a resolver una serie de problemas informáticos complejos, sobre todo problemas relativos al apoyo a la toma de decisiones, como por ejemplo la configuración o el razonamiento probabilísticos, que se han abordado mediante la compilación de modelos en representaciones gráficas computacionalmente eficientes.
Las mismas estructuras gráficas se utilizan cada vez más en contextos clásicos de programación con restricciones para mejorar la eficacia de una búsqueda de una solución factible o hallar una solución óptima.
El seminario se celebrará de forma paralela al Congreso Internacional sobre Teoría y Práctica de la Programación con Restricciones.Para más información, consulte:
http://www.4c.ucc.ie/cp-graphical-ws-2010/(se abrirá en una nueva ventana)
El evento se centrará principalmente en el empleo de métodos gráficos que permiten activar propiedades estructurales de modelos con restricciones en una amplia gama de tareas, como la propagación de restricciones, «solution counting» (principio de conteo), razonamiento con preferencias y restricciones «suaves», inferencia bajo condiciones inciertas y configuración.
Las estructuras gráficas han ayudado a resolver una serie de problemas informáticos complejos, sobre todo problemas relativos al apoyo a la toma de decisiones, como por ejemplo la configuración o el razonamiento probabilísticos, que se han abordado mediante la compilación de modelos en representaciones gráficas computacionalmente eficientes.
Las mismas estructuras gráficas se utilizan cada vez más en contextos clásicos de programación con restricciones para mejorar la eficacia de una búsqueda de una solución factible o hallar una solución óptima.
El seminario se celebrará de forma paralela al Congreso Internacional sobre Teoría y Práctica de la Programación con Restricciones.Para más información, consulte:
http://www.4c.ucc.ie/cp-graphical-ws-2010/(se abrirá en una nueva ventana)