Knowledge Representation and Reasoning by