#
deontic
Here are 3 public repositories matching this topic...
Case study in monitoring a Solidity smart contract with a deontic logic specification language.
-
Updated
Oct 26, 2018
Deontic logic solver in ASP with Clingo
-
Updated
May 23, 2024 - Python
Improve this page
Add a description, image, and links to the deontic topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the deontic topic, visit your repo's landing page and select "manage topics."