Knowledge Representation and Reasoning at Montpellier 2 University
The Master in Computer Science offers two subprograms (called "specialities") including Knowledge Representation and Reasoning: DECOL (Data, Knowledge Representation and Natural Languages) and MOCA (Mathematics and Computer Science). More information can be found here (in French)