New Algebraic Normative Theories for Ethical and Legal Reasoning in the
  LogiKEy Framework
  In order to design and engineer ethical and legal reasoners and responsible
systems, Benzm\"{u}ller, Parent and van der Torre introduced the LogiKEy
methodology, based on the semantical embedding of deontic logics into classic
higher-order logic. This article considerably extends the LogiKEy deontic
logics and dataset using an algebraic approach, and develops a theory of
input/output operations for normative reasoning on top of Boolean algebras.
