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

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Christoph Benzmüller, Ali Farjami, David Fuenmayor, Paul Meder, Xavier Parent, Alexander Steen, Leendert van der Torre, Valeria Zahoransky
Fformat:	Erthygl
Iaith:	English
Cyhoeddwyd:	Elsevier 2020-12-01
Cyfres:	Data in Brief
Pynciau:	Trustworthy and responsible AI Knowledge representation and reasoning Automated theorem proving Model finding Normative reasoning Normative systems
Mynediad Ar-lein:	http://www.sciencedirect.com/science/article/pii/S2352340920312919

Eitemau Tebyg

Reason(s) have Weight with the Evidence of Practical Reason
gan: Reena Kumari, et al.
Cyhoeddwyd: (2024-07-01)

One reason, several logics
gan: Evandro Agazzi
Cyhoeddwyd: (2011-06-01)

Normative Experience: Deontic Noema and Deontic Noesis
gan: Lorenzo Passerini Glazel
Cyhoeddwyd: (2017-12-01)

Squeezing the good into the right
gan: Rafael Graebin Vogelmann
Cyhoeddwyd: (2024-11-01)

Systematic Verification of the Modal Logic Cube in Isabelle/HOL
gan: Christoph Benzmüller, et al.
Cyhoeddwyd: (2015-07-01)

The nature and limits of guidance
gan: Pike, J
Cyhoeddwyd: (2021)

DOING AWAY WITH THE “SHMAGENCY” OBJECTION TO CONSTITUTIVISM
gan: HILLE PAAKKUNAINEN

Normative reasons and motivational capacities
gan: Jean Caiaffo Caldas
Cyhoeddwyd: (2024-03-01)

Universal (meta-)logical reasoning: The Wise Men Puzzle (Isabelle/HOL dataset)
gan: Christoph Benzmüller
Cyhoeddwyd: (2019-06-01)

Morality, Normativity, and the Good System 2 Fallacy
gan: Wim De Neys
Cyhoeddwyd: (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
gan: Gavrilović Biljana
Cyhoeddwyd: (2018-01-01)

The Demands of Beauty: A Kantian Account of the Normative Force of Aesthetic Reasons
gan: Jessica J. Williams
Cyhoeddwyd: (2024-03-01)

Modals with a taste of the deontic
gan: Joshua Knobe, et al.
Cyhoeddwyd: (2013-03-01)

Study of Isabelle/HOL on Formal Algorithm Analysis and Code Generation
gan: Haitao Wang, et al.
Cyhoeddwyd: (2021-01-01)

Moral reasons and The moral problem
gan: Gert Joshua
Cyhoeddwyd: (2024-01-01)

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

Argumentation and explanation in the law
gan: Antonino Rotolo, et al.
Cyhoeddwyd: (2023-09-01)

„Beweisgrund“
gan: Robert Theis
Cyhoeddwyd: (2024-12-01)

Against a Normative View of Folk Psychology
gan: Meredith Ria Wilkinson
Cyhoeddwyd: (2014-06-01)

Normativity of international law
gan: Dajović Goran
Cyhoeddwyd: (2021-01-01)

Understanding the Quality of Interaction of Complexity Leadership and Social Enterprise based on the Complex Science Lens
gan: Zahra Vafaee, et al.
Cyhoeddwyd: (2020-05-01)

Reliability and validity of the NeuroCognitive Performance Test, a web-based neuropsychological assessment
gan: Glenn E. Morrison, et al.
Cyhoeddwyd: (2015-11-01)

God and logic in Islam : the caliphate of reason /
gan: 567821 Walbridge, John author
Cyhoeddwyd: (2011)

Hammering towards QED
gan: Jasmin C. Blanchette, et al.
Cyhoeddwyd: (2016-01-01)

Analogical Reasoning in Geometry Proofs
gan: Anass Bayag, et al.
Cyhoeddwyd: (2021-06-01)

Introduction to logic and critical thinking /
gan: 267963 Salmon, Merrilee H.
Cyhoeddwyd: (1995)

Logic : the study of deductive reasoning /
gan: 367588 Yildirim, Cemal
Cyhoeddwyd: (1973)

Formulation and analysis of the normativity problem in ontogeny
gan: E.A. Nurmukhametov
Cyhoeddwyd: (2013-07-01)

Rethinking The moral problem
gan: Smith Michael
Cyhoeddwyd: (2024-01-01)

Normative Generics and Norm Breaching – A Questionnaire-Based Study of Parent-Child Interactions in English
gan: Karczewski Daniel, et al.
Cyhoeddwyd: (2020-03-01)

Understanding arguments : an introduction to informal logic /
gan: Sinnott-Armstrong, Walter, 1955-, author, et al.
Cyhoeddwyd: (2015)

Informal logic : a pragmatic approach /
gan: 305094 Walton, Douglas N.
Cyhoeddwyd: (2008)

A computational logic /
gan: 403382 Boyer, Robert S., et al.
Cyhoeddwyd: (1979)

Normative Naturalism on Its Own Terms
gan: Pekka Väyrynen
Cyhoeddwyd: (2021-08-01)

Computer Science and Metaphysics: A Cross-Fertilization
gan: Kirchner Daniel, et al.
Cyhoeddwyd: (2019-08-01)

The Standards for Proving Damages and Its Amount: A Comparative Study under Transnational Instruments and International Arbitration Awards
gan: ebrahim shoarian, et al.
Cyhoeddwyd: (2020-02-01)

Normative Reasons, Epistemic Autonomy, and Accountability to God
gan: Brandon Rickabaugh
Cyhoeddwyd: (2023-05-01)

The Implicit as a Resource for Engaging Normativity in Religious Studies
gan: Gary Slater
Cyhoeddwyd: (2017-11-01)

A Study of Beall and Restall's Logical Pluralism
gan: Seyed Ali Kalantari, et al.
Cyhoeddwyd: (2019-06-01)

THE LOGIC OF EU NORMATIVE POWER IN THE WESTERN BALKANS
gan: Reina Zenelaj SHEHI, et al.
Cyhoeddwyd: (2023-11-01)