Browse Weitere wissenschaftliche Publikationen by Author "van der Torre, Leendert"

Refubium - Freie Universität Berlin Repository

Breadcrumbs Navigation

Browse Weitere wissenschaftliche Publikationen by Author "van der Torre, Leendert"

Item
Publishing Date
Wissenschaftlicher ArtikelLogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset)Benzmüller, Christoph; Farjami, Ali; Fuenmayor, David; Meder, Paul; Parent, Xavier; Steen, Alexander; van der Torre, Leendert; Zahoransky, Valeria
2020