KNOWLEDGE REPRESENTATION AND REASONING