Valeria ZAHORANSKY

Doctoral researcher

Department

Fachbereich Informatik

Postadresse

Université du Luxembourg
Maison du Nombre
6, Avenue de la Fonte
L-4364 Esch-sur-Alzette

Büroadresse

MNO, E03 0335-120

E-Mail

2020

LogiKEy 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