Knowledge Representation And Reasoning