Some useful materials for deontic logic implementation

Books

A Formal Theory of Commonsense Psychology

Handbook of Deontic Logic and Normative Systems

Papers

A Deontic Logic Reasoning Infrastructure

Notes on Deontic Logic

Deontic Logic for Human Reasoning

Deontic Action-Logic Multi-Agent Systems in Prolog

Priority Structures in Deontic Logic

Deontic Equilibrium Logic with eXplicit negation

Model Checking Propositional Deontic Temporal Logic via a µ-calculus Characterization

Handling irresolvable conflicts in the Semantic Web: an RDF-based conflict-tolerant version of the Deontic Traditional Scheme

Automated Reasoning in Deontic Logic

Deontic Logics based on Boolean Algebra

Tutorials

Specification and Analysis of Contracts

Stanford

Sharif University

A Preliminary Study on Deontic Answer Set Programming

Other language implementations

Python

Deolingo

Naive Preferences Solver

Haskell

Deontic logic with unknowns haskell

C#

Deontic logic with unknowns C#

Java

conflict-tolerant Deontic Traditional Scheme

ASP (clingo)

Defeasible Deontic Logic