An implementation of Defeasible Deontic Logic in Answer Set Programming
-
Updated
Aug 9, 2024 - Classic ASP
An implementation of Defeasible Deontic Logic in Answer Set Programming
A browser-based automated reasoner for Input/Output Logics
Deontic logic solver in ASP with Clingo
DDL2THF -- A preprocessor for translating problems in Dyadic Deontic Logic into THF problems
Model check systems for obligations
Um estudo sobre Filosofia da Lógica; Overview do método de Newton da Costa, Gödel, Morgan, Dummett, Frege, Leibniz, Peirce, Orman Quine, Ludwig Wittgenstein
Case study in monitoring a Solidity smart contract with a deontic logic specification language.
Model check and generate obligations for Markov decision processes in expected act utilitarian deontic logic.
Add a description, image, and links to the deontic-logic topic page so that developers can more easily learn about it.
To associate your repository with the deontic-logic topic, visit your repo's landing page and select "manage topics."