There is a variety of ways to reason with normative systems. This partly reflects a variety of
semantics developed for deontic logic, such as traditional semantics based on possible …

Intuitive and faithful modelling the compliance requirements about the process aspects is a
prerequisite for their automated compliance checking. Several formalisms with varying …

This research contributes a formal framework to evaluate whether existing CMFs can model
and reason about various types of normative requirements. The framework can be used to …

We propose a new approach to formalize obligations and permissions from existing
legislation. Specifically, we propose to combine two frameworks: Input/Output logic and the …

This paper analyses and compares some of the automated reasoners that have been used
in recent research for compliance checking. Although the list of the considered reasoners is …