Notes for CSM6320 - Representation and Reasoning for Intelligent Systems