Advanced Reasoning Systems