Auflistung Weitere wissenschaftliche Publikationen nach Autor*in "van der Torre, Leendert"

Refubium - Repositorium der Freien Universität Berlin

Mikronavigation

Auflistung Weitere wissenschaftliche Publikationen nach Autor*in "van der Torre, Leendert"

Dokument
Erscheinungsdatum
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