An implementation of Defeasible Deontic Logic in Answer Set Programming
-
Updated
Jul 14, 2023 - Classic ASP
An implementation of Defeasible Deontic Logic in Answer Set Programming
A browser-based automated reasoner for Input/Output Logics
DDL2THF -- A preprocessor for translating problems in Dyadic Deontic Logic into THF problems
Model check systems for obligations
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.
Deontic logic solver in ASP with Clingo
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
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."