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

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

Celý popis

Podrobná bibliografie
Hlavní autoři: Christoph Benzmüller, Ali Farjami, David Fuenmayor, Paul Meder, Xavier Parent, Alexander Steen, Leendert van der Torre, Valeria Zahoransky
Médium: Článek
Jazyk:English
Vydáno: Elsevier 2020-12-01
Edice:Data in Brief
Témata:
Trustworthy and responsible AI
Knowledge representation and reasoning
Automated theorem proving
Model finding
Normative reasoning
Normative systems
On-line přístup:http://www.sciencedirect.com/science/article/pii/S2352340920312919

Internet

http://www.sciencedirect.com/science/article/pii/S2352340920312919

Podobné jednotky