automated reasoning

Automated reasoning is the process of using computer algorithms and logical rules to navigate through a given set of information and arrive at conclusions or solutions.

Requires login.