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

Fuld beskrivelse

Bibliografiske detaljer
Main Authors:	Christoph Benzmüller, Ali Farjami, David Fuenmayor, Paul Meder, Xavier Parent, Alexander Steen, Leendert van der Torre, Valeria Zahoransky
Format:	Article
Sprog:	English
Udgivet:	Elsevier 2020-12-01
Serier:	Data in Brief
Fag:	Trustworthy and responsible AI Knowledge representation and reasoning Automated theorem proving Model finding Normative reasoning Normative systems
Online adgang:	http://www.sciencedirect.com/science/article/pii/S2352340920312919

Lignende værker

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

One reason, several logics
af: Evandro Agazzi
Udgivet: (2011-06-01)

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

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

Logical Normativity and Common Sense Reasoning
af: Evandro Agazzi
Udgivet: (2011-04-01)

Squeezing the good into the right
af: Rafael Graebin Vogelmann
Udgivet: (2024-11-01)

The nature and limits of guidance
af: Pike, J
Udgivet: (2021)

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

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

Normative reasons and motivational capacities
af: Jean Caiaffo Caldas
Udgivet: (2024-03-01)

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

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

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

Ewing's problem
af: Christian Piller
Udgivet: (2007-01-01)

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

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

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

Prospects for Experimental Philosophical Logic
af: Jeremiah Joven Joaquin
Udgivet: (2019-05-01)

Moral reasons and The moral problem
af: Gert Joshua
Udgivet: (2024-01-01)

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

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

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

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

„Beweisgrund“
af: Robert Theis
Udgivet: (2024-12-01)

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

Normativity of international law
af: Dajović Goran
Udgivet: (2021-01-01)

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

Zaufanie a stosunki osobiste
af: Christian Budnik
Udgivet: (2015-06-01)

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

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

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

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

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

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

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

Logic : the study of deductive reasoning /
af: 367588 Yildirim, Cemal
Udgivet: (1973)

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

Rethinking The moral problem
af: Smith Michael
Udgivet: (2024-01-01)

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