Title: Principles of Knowledge Representation and Reasoning