L'objectif général est de consolider et de compléter la connaissance des bases logiques de la modélisation de connaissances et de raisonnements en IA, ainsi que de la programmation logique, en liaison avec des problèmes de formalisation en IA et des applications. Les compléments consistent en un aperçu de logiques non classiques, d'une part, et en une approche industrielle de la programmation logique, d'autre part.
