Knowledge Representation and Reasoning