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

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Christoph Benzmüller, Ali Farjami, David Fuenmayor, Paul Meder, Xavier Parent, Alexander Steen, Leendert van der Torre, Valeria Zahoransky
Formáid:	Alt
Teanga:	English
Foilsithe / Cruthaithe:	Elsevier 2020-12-01
Sraith:	Data in Brief
Ábhair:	Trustworthy and responsible AI Knowledge representation and reasoning Automated theorem proving Model finding Normative reasoning Normative systems
Rochtain ar líne:	http://www.sciencedirect.com/science/article/pii/S2352340920312919

Míreanna comhchosúla

Reason(s) have Weight with the Evidence of Practical Reason
de réir: Reena Kumari, et al.
Foilsithe / Cruthaithe: (2024-07-01)

One reason, several logics
de réir: Evandro Agazzi
Foilsithe / Cruthaithe: (2011-06-01)

Squeezing the good into the right
de réir: Rafael Graebin Vogelmann
Foilsithe / Cruthaithe: (2024-11-01)

Systematic Verification of the Modal Logic Cube in Isabelle/HOL
de réir: Christoph Benzmüller, et al.
Foilsithe / Cruthaithe: (2015-07-01)

The nature and limits of guidance
de réir: Pike, J
Foilsithe / Cruthaithe: (2021)

DOING AWAY WITH THE “SHMAGENCY” OBJECTION TO CONSTITUTIVISM
de réir: HILLE PAAKKUNAINEN

Normative reasons and motivational capacities
de réir: Jean Caiaffo Caldas
Foilsithe / Cruthaithe: (2024-03-01)

Universal (meta-)logical reasoning: The Wise Men Puzzle (Isabelle/HOL dataset)
de réir: Christoph Benzmüller
Foilsithe / Cruthaithe: (2019-06-01)

Morality, Normativity, and the Good System 2 Fallacy
de réir: Wim De Neys
Foilsithe / Cruthaithe: (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
de réir: Gavrilović Biljana
Foilsithe / Cruthaithe: (2018-01-01)

The Demands of Beauty: A Kantian Account of the Normative Force of Aesthetic Reasons
de réir: Jessica J. Williams
Foilsithe / Cruthaithe: (2024-03-01)

Modals with a taste of the deontic
de réir: Joshua Knobe, et al.
Foilsithe / Cruthaithe: (2013-03-01)

Study of Isabelle/HOL on Formal Algorithm Analysis and Code Generation
de réir: Haitao Wang, et al.
Foilsithe / Cruthaithe: (2021-01-01)

Moral reasons and The moral problem
de réir: Gert Joshua
Foilsithe / Cruthaithe: (2024-01-01)

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

Argumentation and explanation in the law
de réir: Antonino Rotolo, et al.
Foilsithe / Cruthaithe: (2023-09-01)

„Beweisgrund“
de réir: Robert Theis
Foilsithe / Cruthaithe: (2024-12-01)

Against a Normative View of Folk Psychology
de réir: Meredith Ria Wilkinson
Foilsithe / Cruthaithe: (2014-06-01)

Normativity of international law
de réir: Dajović Goran
Foilsithe / Cruthaithe: (2021-01-01)

Understanding the Quality of Interaction of Complexity Leadership and Social Enterprise based on the Complex Science Lens
de réir: Zahra Vafaee, et al.
Foilsithe / Cruthaithe: (2020-05-01)

Reliability and validity of the NeuroCognitive Performance Test, a web-based neuropsychological assessment
de réir: Glenn E. Morrison, et al.
Foilsithe / Cruthaithe: (2015-11-01)

God and logic in Islam : the caliphate of reason /
de réir: 567821 Walbridge, John author
Foilsithe / Cruthaithe: (2011)

Hammering towards QED
de réir: Jasmin C. Blanchette, et al.
Foilsithe / Cruthaithe: (2016-01-01)

Introduction to logic and critical thinking /
de réir: 267963 Salmon, Merrilee H.
Foilsithe / Cruthaithe: (1995)

Logic : the study of deductive reasoning /
de réir: 367588 Yildirim, Cemal
Foilsithe / Cruthaithe: (1973)

Formulation and analysis of the normativity problem in ontogeny
de réir: E.A. Nurmukhametov
Foilsithe / Cruthaithe: (2013-07-01)

Rethinking The moral problem
de réir: Smith Michael
Foilsithe / Cruthaithe: (2024-01-01)

Normative Generics and Norm Breaching – A Questionnaire-Based Study of Parent-Child Interactions in English
de réir: Karczewski Daniel, et al.
Foilsithe / Cruthaithe: (2020-03-01)

Understanding arguments : an introduction to informal logic /
de réir: Sinnott-Armstrong, Walter, 1955-, author, et al.
Foilsithe / Cruthaithe: (2015)

Informal logic : a pragmatic approach /
de réir: 305094 Walton, Douglas N.
Foilsithe / Cruthaithe: (2008)

A computational logic /
de réir: 403382 Boyer, Robert S., et al.
Foilsithe / Cruthaithe: (1979)

The Standards for Proving Damages and Its Amount: A Comparative Study under Transnational Instruments and International Arbitration Awards
de réir: ebrahim shoarian, et al.
Foilsithe / Cruthaithe: (2020-02-01)

Computer Science and Metaphysics: A Cross-Fertilization
de réir: Kirchner Daniel, et al.
Foilsithe / Cruthaithe: (2019-08-01)

Normative Reasons, Epistemic Autonomy, and Accountability to God
de réir: Brandon Rickabaugh
Foilsithe / Cruthaithe: (2023-05-01)

The Implicit as a Resource for Engaging Normativity in Religious Studies
de réir: Gary Slater
Foilsithe / Cruthaithe: (2017-11-01)

A Study of Beall and Restall's Logical Pluralism
de réir: Seyed Ali Kalantari, et al.
Foilsithe / Cruthaithe: (2019-06-01)

THE LOGIC OF EU NORMATIVE POWER IN THE WESTERN BALKANS
de réir: Reina Zenelaj SHEHI, et al.
Foilsithe / Cruthaithe: (2023-11-01)

Rationality and logic /
de réir: Hanna, Robert, 1957-
Foilsithe / Cruthaithe: (2006)

Some Worries About Deontic Closure
de réir: Kevin Kimble
Foilsithe / Cruthaithe: (2024-12-01)

Rigorous Mathematical Thinking: Conceptual Knowledge and Reasoning in the Case of Mathematical Proof
de réir: Siska Firmasari, et al.
Foilsithe / Cruthaithe: (2022-10-01)