LogiKEy workbench : Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset)





Author(s): Benzmüller, Christoph  ; Farjami, Ali; Fuenmayor Pelaez, David  ; Meder, Paul; Parent, Xavier; Steen, Alexander; van der Torre, Leendert; Zahoransky, Valeria
Title of the Journal: Data in Brief
ISSN: 2352-3409
Publisher Information: Amsterdam : Elsevier
Year of publication: 2020
Issue: 33
Pages: 10
Language(s): English
DOI: 10.1016/j.dib.2020.106409
URL: https://www.sciencedirect.com/science/article/p...
Peer Reviewed: Ja
International Distribution: Ja
Open Access Journal: Ja
Type: Article
URI: https://fis.uni-bamberg.de/handle/uniba/55576
Release Date: 16. September 2022