01 Keynote: A Flexible Infrastructure for Normative Reasoning - Christoph Benzmüller 4-7