Skip to content
Sagan

Paper

A Normative Intermediate Representation for ASP-Based Compliance Reasoning

Unreadunread

AI summary

arXiv:2606. 04619v1 Announce Type: new Abstract: We propose MONIR, a Modalized-Output Normative Intermediate Representation for ASP-based compliance reasoning.