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

Descrizione completa

Dettagli Bibliografici
Autori principali:	Christoph Benzmüller, Ali Farjami, David Fuenmayor, Paul Meder, Xavier Parent, Alexander Steen, Leendert van der Torre, Valeria Zahoransky
Natura:	Articolo
Lingua:	English
Pubblicazione:	Elsevier 2020-12-01
Serie:	Data in Brief
Soggetti:	Trustworthy and responsible AI Knowledge representation and reasoning Automated theorem proving Model finding Normative reasoning Normative systems
Accesso online:	http://www.sciencedirect.com/science/article/pii/S2352340920312919

Documenti analoghi

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

One reason, several logics
di: Evandro Agazzi
Pubblicazione: (2011-06-01)

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

Squeezing the good into the right
di: Rafael Graebin Vogelmann
Pubblicazione: (2024-11-01)

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

The nature and limits of guidance
di: Pike, J
Pubblicazione: (2021)

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

Normative reasons and motivational capacities
di: Jean Caiaffo Caldas
Pubblicazione: (2024-03-01)

The empirical study of norms is just what we are missing
di: Theodora eAchourioti, et al.
Pubblicazione: (2014-10-01)

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

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

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

Ewing's problem
di: Christian Piller
Pubblicazione: (2007-01-01)

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

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

Prospects for Experimental Philosophical Logic
di: Jeremiah Joven Joaquin
Pubblicazione: (2019-05-01)

Moral reasons and The moral problem
di: Gert Joshua
Pubblicazione: (2024-01-01)

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

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

„Beweisgrund“
di: Robert Theis
Pubblicazione: (2024-12-01)

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

Normativity of international law
di: Dajović Goran
Pubblicazione: (2021-01-01)

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

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

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

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

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

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

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

Logic : the study of deductive reasoning /
di: 367588 Yildirim, Cemal
Pubblicazione: (1973)

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

Rethinking The moral problem
di: Smith Michael
Pubblicazione: (2024-01-01)

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

Normative Generics and Norm Breaching – A Questionnaire-Based Study of Parent-Child Interactions in English
di: Karczewski Daniel, et al.
Pubblicazione: (2020-03-01)

Understanding arguments : an introduction to informal logic /
di: Sinnott-Armstrong, Walter, 1955-, author, et al.
Pubblicazione: (2015)

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

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

The Standards for Proving Damages and Its Amount: A Comparative Study under Transnational Instruments and International Arbitration Awards
di: ebrahim shoarian, et al.
Pubblicazione: (2020-02-01)

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