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...

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Publicado no:Data Brief
Main Authors: Benzmüller, Christoph, Farjami, Ali, Fuenmayor, David, Meder, Paul, Parent, Xavier, Steen, Alexander, van der Torre, Leendert, Zahoransky, Valeria
Formato: Artigo
Idioma:Inglês
Publicado em: Elsevier 2020
Assuntos:
Data Article
Acesso em linha: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
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

Registos relacionados