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

Полное описание

Библиографические подробности
Главные авторы:	Christoph Benzmüller, Ali Farjami, David Fuenmayor, Paul Meder, Xavier Parent, Alexander Steen, Leendert van der Torre, Valeria Zahoransky
Формат:	Статья
Язык:	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
Online-ссылка:	http://www.sciencedirect.com/science/article/pii/S2352340920312919

Схожие документы

Reason(s) have Weight with the Evidence of Practical Reason
по: Reena Kumari, и др.
Опубликовано: (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)

Squeezing the good into the right
по: Rafael Graebin Vogelmann
Опубликовано: (2024-11-01)

Systematic Verification of the Modal Logic Cube in Isabelle/HOL
по: Christoph Benzmüller, и др.
Опубликовано: (2015-07-01)

The nature and limits of guidance
по: Pike, J
Опубликовано: (2021)

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

Normative reasons and motivational capacities
по: Jean Caiaffo Caldas
Опубликовано: (2024-03-01)

Universal (meta-)logical reasoning: The Wise Men Puzzle (Isabelle/HOL dataset)
по: Christoph Benzmüller
Опубликовано: (2019-06-01)

Morality, Normativity, and the Good System 2 Fallacy
по: Wim De Neys
Опубликовано: (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
по: Gavrilović Biljana
Опубликовано: (2018-01-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)

Modals with a taste of the deontic
по: Joshua Knobe, и др.
Опубликовано: (2013-03-01)

Study of Isabelle/HOL on Formal Algorithm Analysis and Code Generation
по: Haitao Wang, и др.
Опубликовано: (2021-01-01)

Moral reasons and The moral problem
по: Gert Joshua
Опубликовано: (2024-01-01)

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

Argumentation and explanation in the law
по: Antonino Rotolo, и др.
Опубликовано: (2023-09-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, и др.
Опубликовано: (2021-05-01)

God and logic in Islam : the caliphate of reason /
по: 567821 Walbridge, John author
Опубликовано: (2011)

Understanding the Quality of Interaction of Complexity Leadership and Social Enterprise based on the Complex Science Lens
по: Zahra Vafaee, и др.
Опубликовано: (2020-05-01)

Reliability and validity of the NeuroCognitive Performance Test, a web-based neuropsychological assessment
по: Glenn E. Morrison, и др.
Опубликовано: (2015-11-01)

Hammering towards QED
по: Jasmin C. Blanchette, и др.
Опубликовано: (2016-01-01)

Analogical Reasoning in Geometry Proofs
по: Anass Bayag, и др.
Опубликовано: (2021-06-01)

Introduction to logic and critical thinking /
по: 267963 Salmon, Merrilee H.
Опубликовано: (1995)

Logic : the study of deductive reasoning /
по: 367588 Yildirim, Cemal
Опубликовано: (1973)

Formulation and analysis of the normativity problem in ontogeny
по: E.A. Nurmukhametov
Опубликовано: (2013-07-01)

Rethinking The moral problem
по: Smith Michael
Опубликовано: (2024-01-01)

Normative Generics and Norm Breaching – A Questionnaire-Based Study of Parent-Child Interactions in English
по: Karczewski Daniel, и др.
Опубликовано: (2020-03-01)

A computational logic /
по: 403382 Boyer, Robert S., и др.
Опубликовано: (1979)

Understanding arguments : an introduction to informal logic /
по: Sinnott-Armstrong, Walter, 1955-, author, и др.
Опубликовано: (2015)

Informal logic : a pragmatic approach /
по: 305094 Walton, Douglas N.
Опубликовано: (2008)

Normative Naturalism on Its Own Terms
по: Pekka Väyrynen
Опубликовано: (2021-08-01)

Computer Science and Metaphysics: A Cross-Fertilization
по: Kirchner Daniel, и др.
Опубликовано: (2019-08-01)

The Standards for Proving Damages and Its Amount: A Comparative Study under Transnational Instruments and International Arbitration Awards
по: ebrahim shoarian, и др.
Опубликовано: (2020-02-01)

Normative Reasons, Epistemic Autonomy, and Accountability to God
по: Brandon Rickabaugh
Опубликовано: (2023-05-01)

The Implicit as a Resource for Engaging Normativity in Religious Studies
по: Gary Slater
Опубликовано: (2017-11-01)