deontic-logics
There are 2 repositories under deontic-logics topic.
aureleeNet/rio
A reasoner for Input/Output logic
ovidiomanteiga/deolingo
Deontic logic solver in ASP with Clingo
There are 2 repositories under deontic-logics topic.
A reasoner for Input/Output logic
Deontic logic solver in ASP with Clingo