Christoph Benzmüller, Xavier Parent, Leendert W. N. van der Torre. A Deontic Logic Reasoning Infrastructure. In Florin Manea, Russell G. Miller, Dirk Nowotka, editors, Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings. Volume 10936 of Lecture Notes in Computer Science, pages 60-69, Springer, 2018. [doi]
Abstract is missing.