TY - RPRT TI - Designing Normative Theories for Ethical and Legal Reasoning: LogiKEy Framework, Methodology, and Tool Support AU - Christoph Benzmüller AU - Xavier Parent AU - Leendert van der Torre PY - 2020 UR - https://arxiv.org/abs/1903.10187 ID - 1903.10187 ER -