Browse by Author "Zahoransky, Valeria"

Refubium - Freie Universität Berlin Repository

Breadcrumbs Navigation

  • Home
  • Browse by Author

Browse by Author "Zahoransky, Valeria"

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