Le Laboratoire d'Informatique Cognitive est
rattaché au Département d'informatique
et au Centre de Recherche en Géomatique
(CRG) de l'Université Laval. Il
participe aux activités du Réseau
de centres d'excellence GEOIDE
Module 2 de logique du cours de représentation des connaissances (Sept. 2006) et solutions complètes des exercices . Voici aussi un site web avec une présentation des fondements de la logique avec exercices et solutions. Voici aussi les exercices sur les réseaux sémantiques. Voici la série d’exercices sur les graphes conceptuels et des exercices sur les graphes existentiels de Peirce et derniers exercices du 20 novembre.