Turnip
tags
Logic Programming
Language/reasoner for
defeasible
deontic logic.
Online IDE:
Turnipbox
Notes that link to this note
SPINdle
From Rules as Code to Legal and Regulatory Coding Strategies
Automating Defeasible Reasoning in Law with Answer Set Programming
Logic Programming