XXV Taller internacional sobre programación lógica en Viena (Austria)
28 Septiembre 2011 - 28 Septiembre 2011
Austria
Del 28 al 30 de septiembre de 2011 se celebrará en Viena (Austria) el XXV Taller internacional sobre programación lógica.
La programación declarativa es un paradigma avanzado para la modelización y solución de problemas complejos. Este método de especificación atrae desde hace décadas cada vez más atención, sobre todo en los ámbitos de las bases de datos y el procesamiento de lenguaje natural, la modelización y procesado de problemas de combinatoria y el establecimiento de sistemas en Internet.
El evento ofrecerá un foro para debatir aplicaciones de tecnologías importantes relacionadas con la programación lógica, solución de problemas con restricciones y paradigmas de computación muy relacionados entre sí. También cubrirá de forma exhaustiva el impacto de los solucionadores lógicos programables en la sociedad de Internet, las tecnologías subyacentes y aplicaciones punteras en servicios industriales, comerciales, sociales y de la administración pública. Se tratarán los temas siguientes:
- gestión de conocimientos, p.ej. minería de datos, apoyo a las decisiones, bases de datos deductivas;
- sistemas distribuidos y la web, p.ej. ingeniería concurrente y de agentes, web semántica;
- restricciones, p.ej. sistemas de restricciones, extensiones a la programación (lógica) basada en restricciones;
- fundamentos teóricos, p.ej. bases de datos deductivas, razonamiento no monotónico, representación de conocimientos.
- sistemas y herramientas para fines académicos e industriales;
- servicios web basados en el conocimiento: aplicaciones y solucionadores lógicos.Para más información, consulte: http://www.kr.tuwien.ac.at/wlp11/(se abrirá en una nueva ventana)
La programación declarativa es un paradigma avanzado para la modelización y solución de problemas complejos. Este método de especificación atrae desde hace décadas cada vez más atención, sobre todo en los ámbitos de las bases de datos y el procesamiento de lenguaje natural, la modelización y procesado de problemas de combinatoria y el establecimiento de sistemas en Internet.
El evento ofrecerá un foro para debatir aplicaciones de tecnologías importantes relacionadas con la programación lógica, solución de problemas con restricciones y paradigmas de computación muy relacionados entre sí. También cubrirá de forma exhaustiva el impacto de los solucionadores lógicos programables en la sociedad de Internet, las tecnologías subyacentes y aplicaciones punteras en servicios industriales, comerciales, sociales y de la administración pública. Se tratarán los temas siguientes:
- gestión de conocimientos, p.ej. minería de datos, apoyo a las decisiones, bases de datos deductivas;
- sistemas distribuidos y la web, p.ej. ingeniería concurrente y de agentes, web semántica;
- restricciones, p.ej. sistemas de restricciones, extensiones a la programación (lógica) basada en restricciones;
- fundamentos teóricos, p.ej. bases de datos deductivas, razonamiento no monotónico, representación de conocimientos.
- sistemas y herramientas para fines académicos e industriales;
- servicios web basados en el conocimiento: aplicaciones y solucionadores lógicos.Para más información, consulte: http://www.kr.tuwien.ac.at/wlp11/(se abrirá en una nueva ventana)