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