MONIR: Normative intermediate representation for compliance reasoning with ASP

Arxiv CS.AI (top papers)

Paper proposes MONIR, a Modalized-Output Normative Intermediate Representation for ASP-based compliance reasoning. Its core fragment has a staged operational semantics, and MONIR-ASP provides an executable compilation with extensions for external sources.

Arxiv CS.AI (top papers)·Yangfan WuHuanyu YangJianmin Ji

7 days ago