Le 25e atelier sur la programmation logique aura lieu du 28 au 30 septembre 2011 à Vienne, en Autriche.

La programmation déclarative est un paradigme avancé de modélisation et de résolution de problèmes complexes. Cette méthode de spécification a beaucoup attiré l'attention ces dernières décennies, notamment dans le domaine des bases de données et du traitement du langage naturel, pour la modélisation et le traitement des problèmes combinatoires ainsi que pour la création de systèmes pour Internet.

Cet évènement sera un forum de discussion intensive sur les applications d'importantes technologies dépendant de la programmation logique, de la résolution constante de problèmes et de paradigmes informatiques étroitement liés. Il couvrira en détail l'impact des logiciels de résolution logique programmables dans la société de l'Internet, ses technologies sous-jacentes et les applications de pointe dans l'industrie, le commerce, le gouvernement et les services sociétaux. Les thèmes traités porteront sur:
- la gestion des connaissances, notamment l'extraction de données, le soutien à la décision, les bases de données déductives;
- les systèmes distribués et le Web, notamment les agents et l'ingénierie concurrente, le web sémantique;
- les contraintes, notamment les systèmes de contraintes, la programmation (logique) des extensions de contraintes;
- les bases théoriques, notamment les bases de données déductives, le raisonnement non monotone, la représentation des connaissances;
- les systèmes et instruments pour une utilisation universitaire et industrielle;
- les services web fondés sur la connaissance (logiciels de résolution et applications logiques).

Pour de plus amples informations, consulter: http://www.kr.tuwien.ac.at/wlp11/

Source : cordis.europa.eu