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.
Christian Hatschka, Agata Ciabattoni, Thomas Eiter
· 1 citation