An ASP Implementation of Defeasible Deontic Logic

Governatori, Guido2024-11-182024-11-1820241610-1987http://dx.doi.org/10.1007/s13218-024-00854-9https://dl.gi.de/handle/20.500.12116/45388We present a novel implementation of Defeasible Deontic Logic as an Answer Set Programming meta-program, and we evaluate the performance of the implementation against a recent set of benchmarks.Answer set programmingDefeasible deontic logicMeta-programAn ASP Implementation of Defeasible Deontic LogicText/Journal Article10.1007/s13218-024-00854-9