An ASP Implementation of Defeasible Deontic Logic
摘要
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.