Deontic logic solver in ASP with Clingo
-
Updated
Dec 16, 2025 - Python
#
deontic
Here are 4 public repositories matching this topic...
Paper establishing that for an ontological substrate to remain neutral and stable under allowable frameworks that include persistent disagreement, causal or normative commitments cannot be part of the substrate itself.
latex academic-paper accountability causal foundations deontic explainability formal-ontology ontological-neutrality structural-explainability neutrality-constraints substrate-stability neutrality-theorem
-
Updated
Dec 30, 2025 - TeX
Case study in monitoring a Solidity smart contract with a deontic logic specification language.
-
Updated
Oct 26, 2018
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."