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

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

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

Reason(s) have Weight with the Evidence of Practical Reason
Bằng: Reena Kumari, et al.
Được phát hành: (2024-07-01)

One reason, several logics
Bằng: Evandro Agazzi
Được phát hành: (2011-06-01)

Normative Experience: Deontic Noema and Deontic Noesis
Bằng: Lorenzo Passerini Glazel
Được phát hành: (2017-12-01)

Squeezing the good into the right
Bằng: Rafael Graebin Vogelmann
Được phát hành: (2024-11-01)

Systematic Verification of the Modal Logic Cube in Isabelle/HOL
Bằng: Christoph Benzmüller, et al.
Được phát hành: (2015-07-01)

The nature and limits of guidance
Bằng: Pike, J
Được phát hành: (2021)

DOING AWAY WITH THE “SHMAGENCY” OBJECTION TO CONSTITUTIVISM
Bằng: HILLE PAAKKUNAINEN

Normative reasons and motivational capacities
Bằng: Jean Caiaffo Caldas
Được phát hành: (2024-03-01)

The empirical study of norms is just what we are missing
Bằng: Theodora eAchourioti, et al.
Được phát hành: (2014-10-01)

Universal (meta-)logical reasoning: The Wise Men Puzzle (Isabelle/HOL dataset)
Bằng: Christoph Benzmüller
Được phát hành: (2019-06-01)

Morality, Normativity, and the Good System 2 Fallacy
Bằng: Wim De Neys
Được phát hành: (2020-02-01)

The dispute between Serbian lawyers and lawyers from the former Austro-Hungary about proving by witnesses on the occasion of enactment of the Yugoslav Code of Civil Procedure
Bằng: Gavrilović Biljana
Được phát hành: (2018-01-01)

The Demands of Beauty: A Kantian Account of the Normative Force of Aesthetic Reasons
Bằng: Jessica J. Williams
Được phát hành: (2024-03-01)

Ewing's problem
Bằng: Christian Piller
Được phát hành: (2007-01-01)

Modals with a taste of the deontic
Bằng: Joshua Knobe, et al.
Được phát hành: (2013-03-01)

Study of Isabelle/HOL on Formal Algorithm Analysis and Code Generation
Bằng: Haitao Wang, et al.
Được phát hành: (2021-01-01)

Prospects for Experimental Philosophical Logic
Bằng: Jeremiah Joven Joaquin
Được phát hành: (2019-05-01)

Moral reasons and The moral problem
Bằng: Gert Joshua
Được phát hành: (2024-01-01)

L’inacceptable face aux nécessités politiques : les relations entre censures et raisons d’État à l’époque moderne
Bằng: Laurie Catteeuw

Argumentation and explanation in the law
Bằng: Antonino Rotolo, et al.
Được phát hành: (2023-09-01)

„Beweisgrund“
Bằng: Robert Theis
Được phát hành: (2024-12-01)

Against a Normative View of Folk Psychology
Bằng: Meredith Ria Wilkinson
Được phát hành: (2014-06-01)

Normativity of international law
Bằng: Dajović Goran
Được phát hành: (2021-01-01)

What Makes Mental Modeling Difficult? Normative Data for the Multidimensional Relational Reasoning Task
Bằng: Robert A. Cortes, et al.
Được phát hành: (2021-05-01)

God and logic in Islam : the caliphate of reason /
Bằng: 567821 Walbridge, John author
Được phát hành: (2011)

Understanding the Quality of Interaction of Complexity Leadership and Social Enterprise based on the Complex Science Lens
Bằng: Zahra Vafaee, et al.
Được phát hành: (2020-05-01)

Reliability and validity of the NeuroCognitive Performance Test, a web-based neuropsychological assessment
Bằng: Glenn E. Morrison, et al.
Được phát hành: (2015-11-01)

Hammering towards QED
Bằng: Jasmin C. Blanchette, et al.
Được phát hành: (2016-01-01)

Analogical Reasoning in Geometry Proofs
Bằng: Anass Bayag, et al.
Được phát hành: (2021-06-01)

Introduction to logic and critical thinking /
Bằng: 267963 Salmon, Merrilee H.
Được phát hành: (1995)

Logic : the study of deductive reasoning /
Bằng: 367588 Yildirim, Cemal
Được phát hành: (1973)

Formulation and analysis of the normativity problem in ontogeny
Bằng: E.A. Nurmukhametov
Được phát hành: (2013-07-01)

Rethinking The moral problem
Bằng: Smith Michael
Được phát hành: (2024-01-01)

A computational logic /
Bằng: 403382 Boyer, Robert S., et al.
Được phát hành: (1979)

Normative Generics and Norm Breaching – A Questionnaire-Based Study of Parent-Child Interactions in English
Bằng: Karczewski Daniel, et al.
Được phát hành: (2020-03-01)

Understanding arguments : an introduction to informal logic /
Bằng: Sinnott-Armstrong, Walter, 1955-, author, et al.
Được phát hành: (2015)

Informal logic : a pragmatic approach /
Bằng: 305094 Walton, Douglas N.
Được phát hành: (2008)

Computer Science and Metaphysics: A Cross-Fertilization
Bằng: Kirchner Daniel, et al.
Được phát hành: (2019-08-01)

The Standards for Proving Damages and Its Amount: A Comparative Study under Transnational Instruments and International Arbitration Awards
Bằng: ebrahim shoarian, et al.
Được phát hành: (2020-02-01)

Normative Naturalism on Its Own Terms
Bằng: Pekka Väyrynen
Được phát hành: (2021-08-01)