Cours introductif à l'Intelligence Artificielle
- IA symbolique : logiques classiques, des prédicats,
- Résolutions à base de règles,
- Solveurs booléens
- Solveurs numériques
- Enseignant: Adam Emmanuel
Fondements de la programmation par contraintes
Enrolment options