Last released Oct 21, 2025
A deontic logic solver for explainable deontic reasoning with Answer Set Programming (ASP).
Supported by