Back
  1. Home
  2. Profile of Valeria ZAHORANSKY (Unilu)
Profil

ZAHORANSKY Valeria

Main Referenced Co-authors
BENZMÜLLER, Christoph  (1)
FARJAMI, Ali  (1)
Fuenmajor, David (1)
MEDER, Paul Joseph Yves  (1)
PARENT, Xavier  (1)
STEEN, Alexander  (1)
Main Referenced Keywords
Automated theorem proving (1); Higher-Order Logic (1); Knowledge representation and reasoning (1); Normative reasoning (1); Normative systems (1);
Main Referenced Disciplines
Computer science (1)

Publications (total 1)

The most downloaded
99 downloads
Benzmüller, C., Farjami, A., Fuenmajor, D., Meder, P. J. Y., Parent, X., Steen, A., van der Torre, L., & Zahoransky, V. (December 2020). LogiKEy Workbench: Deontic Logics, Logic Combinations and Expressive Ethical and Legal Reasoning (Isabelle/HOL Dataset). Data in Brief, 33. doi:10.1016/j.dib.2020.106409 https://hdl.handle.net/10993/45489

The most cited

4 citations (Scopus®)

Benzmüller, C., Farjami, A., Fuenmajor, D., Meder, P. J. Y., Parent, X., Steen, A., van der Torre, L., & Zahoransky, V. (December 2020). LogiKEy Workbench: Deontic Logics, Logic Combinations and Expressive Ethical and Legal Reasoning (Isabelle/HOL Dataset). Data in Brief, 33. doi:10.1016/j.dib.2020.106409 https://hdl.handle.net/10993/45489

Benzmüller, C., Farjami, A., Fuenmajor, D., Meder, P. J. Y., Parent, X., Steen, A., van der Torre, L., & Zahoransky, V. (December 2020). LogiKEy Workbench: Deontic Logics, Logic Combinations and Expressive Ethical and Legal Reasoning (Isabelle/HOL Dataset). Data in Brief, 33. doi:10.1016/j.dib.2020.106409
Peer Reviewed verified by ORBi

Contact ORBilu