TY  - RPRT
TI  - A Four-Valued Normative Intermediate Representation for ASP-Oriented Compliance Reasoning
AU  - Huanyu Yang
AU  - Yangfan Wu
AU  - Jianmin Ji
PY  - 2026
UR  - https://arxiv.org/abs/2606.04619
ID  - 2606.04619
ER  -