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

Szczegółowa specyfikacja

Opis bibliograficzny
Główni autorzy:	Christoph Benzmüller, Ali Farjami, David Fuenmayor, Paul Meder, Xavier Parent, Alexander Steen, Leendert van der Torre, Valeria Zahoransky
Format:	Artykuł
Język:	English
Wydane:	Elsevier 2020-12-01
Seria:	Data in Brief
Hasła przedmiotowe:	Trustworthy and responsible AI Knowledge representation and reasoning Automated theorem proving Model finding Normative reasoning Normative systems
Dostęp online:	http://www.sciencedirect.com/science/article/pii/S2352340920312919

Podobne zapisy

Reason(s) have Weight with the Evidence of Practical Reason
od: Reena Kumari, i wsp.
Wydane: (2024-07-01)

One reason, several logics
od: Evandro Agazzi
Wydane: (2011-06-01)

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

Squeezing the good into the right
od: Rafael Graebin Vogelmann
Wydane: (2024-11-01)

Systematic Verification of the Modal Logic Cube in Isabelle/HOL
od: Christoph Benzmüller, i wsp.
Wydane: (2015-07-01)

The nature and limits of guidance
od: Pike, J
Wydane: (2021)

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

Normative reasons and motivational capacities
od: Jean Caiaffo Caldas
Wydane: (2024-03-01)

The empirical study of norms is just what we are missing
od: Theodora eAchourioti, i wsp.
Wydane: (2014-10-01)

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

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

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

Ewing's problem
od: Christian Piller
Wydane: (2007-01-01)

Modals with a taste of the deontic
od: Joshua Knobe, i wsp.
Wydane: (2013-03-01)

Study of Isabelle/HOL on Formal Algorithm Analysis and Code Generation
od: Haitao Wang, i wsp.
Wydane: (2021-01-01)

Prospects for Experimental Philosophical Logic
od: Jeremiah Joven Joaquin
Wydane: (2019-05-01)

Moral reasons and The moral problem
od: Gert Joshua
Wydane: (2024-01-01)

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

Argumentation and explanation in the law
od: Antonino Rotolo, i wsp.
Wydane: (2023-09-01)

„Beweisgrund“
od: Robert Theis
Wydane: (2024-12-01)

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

Normativity of international law
od: Dajović Goran
Wydane: (2021-01-01)

What Makes Mental Modeling Difficult? Normative Data for the Multidimensional Relational Reasoning Task
od: Robert A. Cortes, i wsp.
Wydane: (2021-05-01)

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

Understanding the Quality of Interaction of Complexity Leadership and Social Enterprise based on the Complex Science Lens
od: Zahra Vafaee, i wsp.
Wydane: (2020-05-01)

Reliability and validity of the NeuroCognitive Performance Test, a web-based neuropsychological assessment
od: Glenn E. Morrison, i wsp.
Wydane: (2015-11-01)

Hammering towards QED
od: Jasmin C. Blanchette, i wsp.
Wydane: (2016-01-01)

Analogical Reasoning in Geometry Proofs
od: Anass Bayag, i wsp.
Wydane: (2021-06-01)

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

Logic : the study of deductive reasoning /
od: 367588 Yildirim, Cemal
Wydane: (1973)

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

Rethinking The moral problem
od: Smith Michael
Wydane: (2024-01-01)

A computational logic /
od: 403382 Boyer, Robert S., i wsp.
Wydane: (1979)

Normative Generics and Norm Breaching – A Questionnaire-Based Study of Parent-Child Interactions in English
od: Karczewski Daniel, i wsp.
Wydane: (2020-03-01)

Understanding arguments : an introduction to informal logic /
od: Sinnott-Armstrong, Walter, 1955-, author, i wsp.
Wydane: (2015)

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

Computer Science and Metaphysics: A Cross-Fertilization
od: Kirchner Daniel, i wsp.
Wydane: (2019-08-01)

The Standards for Proving Damages and Its Amount: A Comparative Study under Transnational Instruments and International Arbitration Awards
od: ebrahim shoarian, i wsp.
Wydane: (2020-02-01)

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