Programmation en logique avec contraintes. JFPLC'00

La programmation par contraintes se situe au carrefour de la recherche opérationnelle, de l'intelligence artificielle et de la programmation logique. Elle a su dynamiser ces domaines en ouvrant un champ considérable d'activités de recherche et de développements d'applications avec de nouvelles perspectives pour la résolution de problèmes industriels difficiles. Les journées francophones de programmation logique et programmation par contraintes sont le rendez-vous annuel des chercheurs et ingénieurs de ce domaine. L'édition 2000 de ces JFPLC (les neuvièmes du nom) s'est déroulée à l'École Supérieure d'Ingénieurs de Luminy à Marseille et ont été organisées par le Laboratoire d'informatique de Marseille (LIM). Le présent ouvrage recueille l'ensemble des articles sélectionnés, qui couvrent des domaines très variés, et les résumés des conférences invitées.

Domaines traités Bioinformatique Sémantique Contraintes et Applications I Contraintes II Langages et extensions Bases de données déductives.