Our paper Streamlining Input/Output Logics with Sequent Calculi with Dmitry Rozplokhas won the Ray Reiter Best Paper Prize at the conference KR 2023 .

Our project Logical methods for Deontic Explanations (LoDEx) (with Leon van der Torre and Christian Strasser ) has been funded by FWF (WEAVE schema with Luxemburg and Germany)

Running research projects:

Current conference activities: