Knowledge Representation and Reasoning course - View it on GitHub