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

The LogiKEy workbench and dataset for ethical and legal reasoning is presented. This workbench simultaneously supports development, experimentation, assessment and deployment of formal logics and ethical and legal theories at different conceptual layers. More concretely, it comprises, in form of a d...

Descripció completa

Guardat en:
Dades bibliogràfiques
Publicat a:Data Brief
Autors principals: Benzmüller, Christoph, Farjami, Ali, Fuenmayor, David, Meder, Paul, Parent, Xavier, Steen, Alexander, van der Torre, Leendert, Zahoransky, Valeria
Format: Artigo
Idioma:Inglês
Publicat: Elsevier 2020
Matèries:
Data Article
Accés en línia:https://ncbi.nlm.nih.gov/pmc/articles/PMC7586073/
https://ncbi.nlm.nih.gov/pubmed/33134442
https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1016/j.dib.2020.106409
Etiquetes: Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Ítems similars