IA : Logiques, programmation et solver

Cours focalisé sur la notion de logiques en IA : Logiques classiques, logiques des prédicats, logiques modales, logiques temporelles, ..