A Four-Valued Normative Intermediate Representation for ASP-Oriented Compliance Reasoning

Huanyu Yang, Yangfan Wu, Jianmin Ji

Technical-standard compliance reasoning may involve incomplete evidence, inconsistent observations, exceptions, and derived normative outputs. This paper presents \textsc{Monir}, a…