Christoph Benzmüller wurde bei der DEON-2018 Konferenz in Utrecht (https://deon2018.sites.uu.nl) mit dem John-Jules Meyer Best Paper Award ausgezeichnet. Diese Arbeit zur Automatisierung anspruchsvoller deontischer Logiken ist Ergebnis der engen Kooperation von Christoph Benzmüller mit der Universität Luxembourg. Deontische Logiken haben praxisrelevante Anwendungen in der Formalisierung von regulatorischen und normativen Texten (z.B. juristische Texte, ethische Theorien, etc.).

A Dyadic Deontic Logic in HOL (Christoph Benzmüller, Ali Farjami, Xavier Parent), In Deontic Logic and Normative Systems --- 14th International Conference, DEON 2018, Utrecht, The Netherlands, 3-6 July, 2018 (Jan Broersen, Cleo Condoravdi, Shyam Nair, Gabriella Pigozzi, eds.), College Publications, pp. 33-50, 2018.