An ASP Implementation of Defeasible Deontic Logic
Guido Governatori · Künstliche Intell. · 2024
Abstract We 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.