exercises from Knowledge Representation and Reasoning course on 1st semester of Computer Science master degree