| INFO0049-1 | | Représentation de la connaissance | | Titulaire |
 |
| INFO0050-1 | | Systèmes experts | | Titulaire |
 |
| INFO0051-1 | | Logiques pour l'intelligence artificielle | | Titulaire |
 |
| INFO0054-1 | | Programmation fonctionnelle | | Titulaire |
 |
| INFO0058-1 | | Introduction à l'intelligence artificielle | | Titulaire |
 |
| INFO0060-1 | | Vérification de systèmes parallèles et logique temporelle | | Titulaire |
 |
| INFO0903-1 | | Introduction à l'intelligence artificielle et vision par ordinateur | | Titulaire |
 |
| PHIL0043-1 | | Exercices de logique | | Titulaire |
 |