Automated Reasoning, Knowledge Representation and Management