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

Descripció completa

Dades bibliogràfiques
Autors principals:	Christoph Benzmüller, Ali Farjami, David Fuenmayor, Paul Meder, Xavier Parent, Alexander Steen, Leendert van der Torre, Valeria Zahoransky
Format:	Article
Idioma:	English
Publicat:	Elsevier 2020-12-01
Col·lecció:	Data in Brief
Matèries:	Trustworthy and responsible AI Knowledge representation and reasoning Automated theorem proving Model finding Normative reasoning Normative systems
Accés en línia:	http://www.sciencedirect.com/science/article/pii/S2352340920312919

Ítems similars

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

One reason, several logics
per: Evandro Agazzi
Publicat: (2011-06-01)

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

Squeezing the good into the right
per: Rafael Graebin Vogelmann
Publicat: (2024-11-01)

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

The nature and limits of guidance
per: Pike, J
Publicat: (2021)

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

Normative reasons and motivational capacities
per: Jean Caiaffo Caldas
Publicat: (2024-03-01)

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

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

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

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

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

Moral reasons and The moral problem
per: Gert Joshua
Publicat: (2024-01-01)

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

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

„Beweisgrund“
per: Robert Theis
Publicat: (2024-12-01)

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

Normativity of international law
per: Dajović Goran
Publicat: (2021-01-01)

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

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

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

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

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

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

Logic : the study of deductive reasoning /
per: 367588 Yildirim, Cemal
Publicat: (1973)

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

Rethinking The moral problem
per: Smith Michael
Publicat: (2024-01-01)

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

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

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

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

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

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

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

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

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

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

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