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

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	Christoph Benzmüller, Ali Farjami, David Fuenmayor, Paul Meder, Xavier Parent, Alexander Steen, Leendert van der Torre, Valeria Zahoransky
Định dạng:	Bài viết
Ngôn ngữ:	English
Được phát hành:	Elsevier 2020-12-01
Loạt:	Data in Brief
Những chủ đề:	Trustworthy and responsible AI Knowledge representation and reasoning Automated theorem proving Model finding Normative reasoning Normative systems
Truy cập trực tuyến:	http://www.sciencedirect.com/science/article/pii/S2352340920312919

Internet

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

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

Internet

Những quyển sách tương tự