Automated Reasoning Review and Validation Protocol | Automated Reasoning | Artificial Intelligence | NEROS