Knowledge Representation I - Computer Science and