Added Knowledge Representation and Reasoning Project