Home // Research // FSTM // DCS // Members // Valeria ZAHORANSKY

Valeria ZAHORANSKY

Valeria ZAHORANSKY
Postal Address Université du Luxembourg
2, Avenue de l'Université
L-4365 Esch-sur-Alzette
powered by
orbilu.uni.lu

2020

Full Text
See detailLogiKEy Workbench: Deontic Logics, Logic Combinations and Expressive Ethical and Legal Reasoning (Isabelle/HOL Dataset)
Benzmüller, Christoph; Farjami, Ali; Fuenmajor, David; Meder, Paul Joseph Yves; Parent, Xavier; Steen, Alexander; van der Torre, Leon; Zahoransky, Valeria

in Data in Brief (2020), 33

Top of Page