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

Deskribapen osoa

Xehetasun bibliografikoak
Egile Nagusiak:	Christoph Benzmüller, Ali Farjami, David Fuenmayor, Paul Meder, Xavier Parent, Alexander Steen, Leendert van der Torre, Valeria Zahoransky
Formatua:	Artikulua
Hizkuntza:	English
Argitaratua:	Elsevier 2020-12-01
Saila:	Data in Brief
Gaiak:	Trustworthy and responsible AI Knowledge representation and reasoning Automated theorem proving Model finding Normative reasoning Normative systems
Sarrera elektronikoa:	http://www.sciencedirect.com/science/article/pii/S2352340920312919

Antzeko izenburuak

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

One reason, several logics
nork: Evandro Agazzi
Argitaratua: (2011-06-01)

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

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

Logical Normativity and Common Sense Reasoning
nork: Evandro Agazzi
Argitaratua: (2011-04-01)

Squeezing the good into the right
nork: Rafael Graebin Vogelmann
Argitaratua: (2024-11-01)

The nature and limits of guidance
nork: Pike, J
Argitaratua: (2021)

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

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

Normative reasons and motivational capacities
nork: Jean Caiaffo Caldas
Argitaratua: (2024-03-01)

The empirical study of norms is just what we are missing
nork: Theodora eAchourioti, et al.
Argitaratua: (2014-10-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
nork: Gavrilović Biljana
Argitaratua: (2018-01-01)

Morality, Normativity, and the Good System 2 Fallacy
nork: Wim De Neys
Argitaratua: (2020-02-01)

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

Ewing's problem
nork: Christian Piller
Argitaratua: (2007-01-01)

Fondazione dell'etica e materia del dovere in Edmund Husserl
nork: Federica Buongiorno
Argitaratua: (2011-01-01)

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

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

Prospects for Experimental Philosophical Logic
nork: Jeremiah Joven Joaquin
Argitaratua: (2019-05-01)

Moral reasons and The moral problem
nork: Gert Joshua
Argitaratua: (2024-01-01)

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

Reason and Normative Embodiment in Plato's Republic: On the Philosophical Creation of Disability
nork: Thomas Joseph Kiefer
Argitaratua: (2014-01-01)

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

The Logic and Normative Force of Dual-Character Generics: Towards a Theoretical Model for the Study of Normatively Shifted Predications
nork: Kowalewska-Buraczewska Aleksandra
Argitaratua: (2020-03-01)

„Beweisgrund“
nork: Robert Theis
Argitaratua: (2024-12-01)

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

Normativity of international law
nork: Dajović Goran
Argitaratua: (2021-01-01)

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

Zaufanie a stosunki osobiste
nork: Christian Budnik
Argitaratua: (2015-06-01)

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

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

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

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

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

Modeling causal conditional reasoning data using SDT: caveats and new insights
nork: Dries eTrippas, et al.
Argitaratua: (2014-03-01)

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

Logic : the study of deductive reasoning /
nork: 367588 Yildirim, Cemal
Argitaratua: (1973)

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

Rethinking The moral problem
nork: Smith Michael
Argitaratua: (2024-01-01)

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