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

Bibliográfalaš dieđut
Váldodahkkit:	Christoph Benzmüller, Ali Farjami, David Fuenmayor, Paul Meder, Xavier Parent, Alexander Steen, Leendert van der Torre, Valeria Zahoransky
Materiálatiipa:	Artihkal
Giella:	English
Almmustuhtton:	Elsevier 2020-12-01
Ráidu:	Data in Brief
Fáttát:	Trustworthy and responsible AI Knowledge representation and reasoning Automated theorem proving Model finding Normative reasoning Normative systems
Liŋkkat:	http://www.sciencedirect.com/science/article/pii/S2352340920312919

Geahča maid

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

One reason, several logics
Dahkki: Evandro Agazzi
Almmustuhtton: (2011-06-01)

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

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

Logical Normativity and Common Sense Reasoning
Dahkki: Evandro Agazzi
Almmustuhtton: (2011-04-01)

Squeezing the good into the right
Dahkki: Rafael Graebin Vogelmann
Almmustuhtton: (2024-11-01)

The nature and limits of guidance
Dahkki: Pike, J
Almmustuhtton: (2021)

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

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

Normative reasons and motivational capacities
Dahkki: Jean Caiaffo Caldas
Almmustuhtton: (2024-03-01)

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

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

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

Ewing's problem
Dahkki: Christian Piller
Almmustuhtton: (2007-01-01)

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

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

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

Prospects for Experimental Philosophical Logic
Dahkki: Jeremiah Joven Joaquin
Almmustuhtton: (2019-05-01)

Moral reasons and The moral problem
Dahkki: Gert Joshua
Almmustuhtton: (2024-01-01)

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

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

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

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

„Beweisgrund“
Dahkki: Robert Theis
Almmustuhtton: (2024-12-01)

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

Normativity of international law
Dahkki: Dajović Goran
Almmustuhtton: (2021-01-01)

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

Zaufanie a stosunki osobiste
Dahkki: Christian Budnik
Almmustuhtton: (2015-06-01)

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

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

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

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

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

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

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

Logic : the study of deductive reasoning /
Dahkki: 367588 Yildirim, Cemal
Almmustuhtton: (1973)

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

Rethinking The moral problem
Dahkki: Smith Michael
Almmustuhtton: (2024-01-01)

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