Reasoning algorithms for normative reasoning

Summary
Massively parallel reasoning algorithms for normative reasoning