Knowledge Representation and Automated Reasoning (RCRA)