VIII Simposio internacional sobre fronteras de la combinación de sistemas en Saarbrücken (Alemania)
5 Octubre 2011 - 5 Octubre 2011
Alemania
Del 5 al 7 de octubre de 2011 se celebrará en Saarbrücken (Alemania) el VIII Simposio internacional sobre fronteras de la combinación de sistemas.
En informática es necesario contar con formalismos especializados y mecanismos de inferencia aplicables a tareas concretas, en concreto la lógica, la computación, el desarrollo y verificación de programas, la inteligencia artificial, la representación de conocimientos y el razonamiento automatizado. Para garantizar su utilidad en la práctica, estos sistemas especializados pueden combinarse unos con otros e integrarse en sistemas genéricos.
Hace años que se comenzó a desarrollar en distintos ámbitos técnicas y métodos generales para la combinación y la integración de sistemas definidos formalmente y para el análisis y la modularización de sistemas complejos. Al igual que las ediciones anteriores el evento tratará sobre este tipo de cuestiones y actividades científicas y fomentará el progreso en este ámbito. Entre los temas a tratar se encuentran:
- combinaciones de lógicas como lógica de predicados, temporal, modal o epistémica;
- combinaciones y modularidad en ontologías;
- combinación de procedimientos de decisión, procedimientos de satisfacibilidad y de técnicas de resolución de restricciones;
- combinaciones y modularidad en términos de reescritura;
- integración de la lógica ecuacional y otras teorías en sistemas deductivos;
- combinación de sistemas de deducción y álgebra informática;
- integración de estructuras de datos en la programación y la deducción de lógica basada en restricciones;
- métodos híbridos para la deducción, resolución y propagación de restricciones;
- sistemas híbridos en la representación de conocimientos y la semántica de lenguajes naturales;
- lógicas combinadas aplicadas a sistemas distribuidos y multiagente;
- aspectos lógicos de la combinación y la modularización de programas y especificaciones.Para más información, consulte: http://www.mpi-inf.mpg.de/conferences/frocos2011/(se abrirá en una nueva ventana)
En informática es necesario contar con formalismos especializados y mecanismos de inferencia aplicables a tareas concretas, en concreto la lógica, la computación, el desarrollo y verificación de programas, la inteligencia artificial, la representación de conocimientos y el razonamiento automatizado. Para garantizar su utilidad en la práctica, estos sistemas especializados pueden combinarse unos con otros e integrarse en sistemas genéricos.
Hace años que se comenzó a desarrollar en distintos ámbitos técnicas y métodos generales para la combinación y la integración de sistemas definidos formalmente y para el análisis y la modularización de sistemas complejos. Al igual que las ediciones anteriores el evento tratará sobre este tipo de cuestiones y actividades científicas y fomentará el progreso en este ámbito. Entre los temas a tratar se encuentran:
- combinaciones de lógicas como lógica de predicados, temporal, modal o epistémica;
- combinaciones y modularidad en ontologías;
- combinación de procedimientos de decisión, procedimientos de satisfacibilidad y de técnicas de resolución de restricciones;
- combinaciones y modularidad en términos de reescritura;
- integración de la lógica ecuacional y otras teorías en sistemas deductivos;
- combinación de sistemas de deducción y álgebra informática;
- integración de estructuras de datos en la programación y la deducción de lógica basada en restricciones;
- métodos híbridos para la deducción, resolución y propagación de restricciones;
- sistemas híbridos en la representación de conocimientos y la semántica de lenguajes naturales;
- lógicas combinadas aplicadas a sistemas distribuidos y multiagente;
- aspectos lógicos de la combinación y la modularización de programas y especificaciones.Para más información, consulte: http://www.mpi-inf.mpg.de/conferences/frocos2011/(se abrirá en una nueva ventana)