deontic-logic

There are 0 repository under deontic-logic topic.

• gvdgdo / Defeasible-Deontic-Logic

  An implementation of Defeasible Deontic Logic in Answer Set Programming

  defeasibledefeasible-logicdeontic-logicdefeasible-deontic-logic
  Language:Classic ASP 2

• I-O-Logic / iol-workbench

  A browser-based automated reasoner for Input/Output Logics

  automated-reasoninglogicdeontic-logicnormative-reasoningnorms
  Language:JavaScript 1

• Isabelle778 / LogicPhilosophyWorkspace

  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

  epistemic-logickripkedoxasticdeontic-logicepistemictemporal-logicmodal-logicpropositional-logicfuzzy-logicparaconsistent
  1

• shaunazzopardi / deontic-logic-with-unknowns

  A Partial Deontic Logic

  contractscsharpdeonticdeontic-logiclawlogicnorms
  Language:C# 1

• leoprover / ddl2thf

  DDL2THF -- A preprocessor for translating problems in Dyadic Deontic Logic into THF problems

  deontic-logichigher-order-logictheorem-proving
  Language:Java 0

• sabotagelab / generating-mdp-obligations

  Model check and generate obligations for Markov decision processes in expected act utilitarian deontic logic.

  deontic-logicethics-in-aiformal-verification
  Language:Python 0

• sabotagelab / MC-DAU

  Model check systems for obligations

  model-checkingdeontic-logicautonomous-systemsethical-artificial-intelligence
  Language:Python 0

• ovidiomanteiga / deolingo

  Deontic logic solver in ASP with Clingo

  answer-set-programmingclingodeonticdeontic-logicdeontic-logicspython-clipython-library
  Language:Python

• shaunazzopardi / deontic-monitoring-solidity

  Case study in monitoring a Solidity smart contract with a deontic logic specification language.

  deonticdeontic-logicmonitoringruntime-verificationsoliditysolidity-contracts