INFO282 16H / Knowledge Representation and Reasoning