Laboratoire d'Informatique Fondamentale et d'Intelligence Artificielle (F)