Carregant...
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...
Guardat en:
| Publicat a: | Data Brief |
|---|---|
| Autors principals: | , , , , , , , |
| Format: | Artigo |
| Idioma: | Inglês |
| Publicat: |
Elsevier
2020
|
| Matèries: | |
| 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!
|