Legal Reasoning in Answer Set Programming | IEEE Conference Publication | IEEE Xplore