TY - RPRT TI - Knowledge Representation for High-Level Norms and Violation Inference in Logic Programming AU - Babatunde Opeoluwa Akinkunmi AU - Moyin Florence Babalola PY - 2018 UR - https://arxiv.org/abs/1801.06740 ID - 1801.06740 ER -