Representing Normative Reasoning in Answer Set Programming Using Weak Constraints
This work encodes a range of famous paradoxes in Answer Set Programming (ASP) using weak constraints, which abstraction and generalization provides a plain methodology for encoding normative systems in this language.