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

Full beskrivning

Bibliografiska uppgifter
Huvudupphovsmän:	Christoph Benzmüller, Ali Farjami, David Fuenmayor, Paul Meder, Xavier Parent, Alexander Steen, Leendert van der Torre, Valeria Zahoransky
Materialtyp:	Artikel
Språk:	English
Publicerad:	Elsevier 2020-12-01
Serie:	Data in Brief
Ämnen:	Trustworthy and responsible AI Knowledge representation and reasoning Automated theorem proving Model finding Normative reasoning Normative systems
Länkar:	http://www.sciencedirect.com/science/article/pii/S2352340920312919

Liknande verk

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

One reason, several logics
av: Evandro Agazzi
Publicerad: (2011-06-01)

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

Squeezing the good into the right
av: Rafael Graebin Vogelmann
Publicerad: (2024-11-01)

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

The nature and limits of guidance
av: Pike, J
Publicerad: (2021)

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

Normative reasons and motivational capacities
av: Jean Caiaffo Caldas
Publicerad: (2024-03-01)

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

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

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

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

Ewing's problem
av: Christian Piller
Publicerad: (2007-01-01)

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

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

Prospects for Experimental Philosophical Logic
av: Jeremiah Joven Joaquin
Publicerad: (2019-05-01)

Moral reasons and The moral problem
av: Gert Joshua
Publicerad: (2024-01-01)

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

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

„Beweisgrund“
av: Robert Theis
Publicerad: (2024-12-01)

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

Normativity of international law
av: Dajović Goran
Publicerad: (2021-01-01)

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

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

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

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

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

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

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

Logic : the study of deductive reasoning /
av: 367588 Yildirim, Cemal
Publicerad: (1973)

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

Rethinking The moral problem
av: Smith Michael
Publicerad: (2024-01-01)

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

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

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

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

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

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

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