Introduction to Knowledge Representation and Reasoning