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

書目詳細資料
Main Authors:	Christoph Benzmüller, Ali Farjami, David Fuenmayor, Paul Meder, Xavier Parent, Alexander Steen, Leendert van der Torre, Valeria Zahoransky
格式:	Article
語言:	English
出版:	Elsevier 2020-12-01
叢編:	Data in Brief
主題:	Trustworthy and responsible AI Knowledge representation and reasoning Automated theorem proving Model finding Normative reasoning Normative systems
在線閱讀:	http://www.sciencedirect.com/science/article/pii/S2352340920312919

相似書籍

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

One reason, several logics
由: Evandro Agazzi
出版: (2011-06-01)

Normative Experience: Deontic Noema and Deontic Noesis
由: Lorenzo Passerini Glazel
出版: (2017-12-01)

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

Logical Normativity and Common Sense Reasoning
由: Evandro Agazzi
出版: (2011-04-01)

Squeezing the good into the right
由: Rafael Graebin Vogelmann
出版: (2024-11-01)

The nature and limits of guidance
由: Pike, J
出版: (2021)

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

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

Normative reasons and motivational capacities
由: Jean Caiaffo Caldas
出版: (2024-03-01)

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

Morality, Normativity, and the Good System 2 Fallacy
由: Wim De Neys
出版: (2020-02-01)

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

Ewing's problem
由: Christian Piller
出版: (2007-01-01)

Fondazione dell'etica e materia del dovere in Edmund Husserl
由: Federica Buongiorno
出版: (2011-01-01)

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

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

Prospects for Experimental Philosophical Logic
由: Jeremiah Joven Joaquin
出版: (2019-05-01)

Moral reasons and The moral problem
由: Gert Joshua
出版: (2024-01-01)

Argumentation and explanation in the law
由: Antonino Rotolo, et al.
出版: (2023-09-01)

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

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

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

„Beweisgrund“
由: Robert Theis
出版: (2024-12-01)

Against a Normative View of Folk Psychology
由: Meredith Ria Wilkinson
出版: (2014-06-01)

Normativity of international law
由: Dajović Goran
出版: (2021-01-01)

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

Zaufanie a stosunki osobiste
由: Christian Budnik
出版: (2015-06-01)

God and logic in Islam : the caliphate of reason /
由: 567821 Walbridge, John author
出版: (2011)

Hammering towards QED
由: Jasmin C. Blanchette, et al.
出版: (2016-01-01)

Analogical Reasoning in Geometry Proofs
由: Anass Bayag, et al.
出版: (2021-06-01)

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

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

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

Introduction to logic and critical thinking /
由: 267963 Salmon, Merrilee H.
出版: (1995)

Logic : the study of deductive reasoning /
由: 367588 Yildirim, Cemal
出版: (1973)

A computational logic /
由: 403382 Boyer, Robert S., et al.
出版: (1979)

Rethinking The moral problem
由: Smith Michael
出版: (2024-01-01)

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