LogiKEy workbench : Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset)
Benzmüller, Christoph; Farjami, Ali; Fuenmayor, David; u. a. (2020): LogiKEy workbench : Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset), in: Data in Brief, Amsterdam: Elsevier, Nr. 33, doi: 10.1016/j.dib.2020.106409.
Author:
 ;  ;  ;  ;  ;  ;  ; 
Title of the Journal:
Data in Brief
ISSN:
2352-3409
Publisher Information:
Year of publication:
2020
Issue:
33
Pages:
Language:
English
DOI:
URL:
Peer Reviewed:
Yes:
International Distribution:
Yes:
Open Access Journal:
Yes:
Type:
Article
URI:
Activation date:
September 16, 2022

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/55576