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

Volledige beschrijving

Bibliografische gegevens
Hoofdauteurs:	Christoph Benzmüller, Ali Farjami, David Fuenmayor, Paul Meder, Xavier Parent, Alexander Steen, Leendert van der Torre, Valeria Zahoransky
Formaat:	Artikel
Taal:	English
Gepubliceerd in:	Elsevier 2020-12-01
Reeks:	Data in Brief
Onderwerpen:	Trustworthy and responsible AI Knowledge representation and reasoning Automated theorem proving Model finding Normative reasoning Normative systems
Online toegang:	http://www.sciencedirect.com/science/article/pii/S2352340920312919

Gelijkaardige items

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

One reason, several logics
door: Evandro Agazzi
Gepubliceerd in: (2011-06-01)

Normative Experience: Deontic Noema and Deontic Noesis
door: Lorenzo Passerini Glazel
Gepubliceerd in: (2017-12-01)

Squeezing the good into the right
door: Rafael Graebin Vogelmann
Gepubliceerd in: (2024-11-01)

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

The nature and limits of guidance
door: Pike, J
Gepubliceerd in: (2021)

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

Normative reasons and motivational capacities
door: Jean Caiaffo Caldas
Gepubliceerd in: (2024-03-01)

The empirical study of norms is just what we are missing
door: Theodora eAchourioti, et al.
Gepubliceerd in: (2014-10-01)

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

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

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

Ewing's problem
door: Christian Piller
Gepubliceerd in: (2007-01-01)

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

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

Prospects for Experimental Philosophical Logic
door: Jeremiah Joven Joaquin
Gepubliceerd in: (2019-05-01)

Moral reasons and The moral problem
door: Gert Joshua
Gepubliceerd in: (2024-01-01)

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

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

„Beweisgrund“
door: Robert Theis
Gepubliceerd in: (2024-12-01)

Against a Normative View of Folk Psychology
door: Meredith Ria Wilkinson
Gepubliceerd in: (2014-06-01)

Normativity of international law
door: Dajović Goran
Gepubliceerd in: (2021-01-01)

What Makes Mental Modeling Difficult? Normative Data for the Multidimensional Relational Reasoning Task
door: Robert A. Cortes, et al.
Gepubliceerd in: (2021-05-01)

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

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

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

Hammering towards QED
door: Jasmin C. Blanchette, et al.
Gepubliceerd in: (2016-01-01)

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

Introduction to logic and critical thinking /
door: 267963 Salmon, Merrilee H.
Gepubliceerd in: (1995)

Logic : the study of deductive reasoning /
door: 367588 Yildirim, Cemal
Gepubliceerd in: (1973)

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

Rethinking The moral problem
door: Smith Michael
Gepubliceerd in: (2024-01-01)

A computational logic /
door: 403382 Boyer, Robert S., et al.
Gepubliceerd in: (1979)

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

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

Informal logic : a pragmatic approach /
door: 305094 Walton, Douglas N.
Gepubliceerd in: (2008)

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

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

Normative Naturalism on Its Own Terms
door: Pekka Väyrynen
Gepubliceerd in: (2021-08-01)