J'ai donné les répétitions du cours de logique pour l'intelligence artificielle du professeur Gribomont entre 2004 et 2007. Les énoncés des exercices sont toujours disponibles sur mes pages, en tant qu'archives.