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
オンライン･アクセス:	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)

The empirical study of norms is just what we are missing
著者:: Theodora eAchourioti, 等
出版事項: (2014-10-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)

Prospects for Experimental Philosophical Logic
著者:: Jeremiah Joven Joaquin
出版事項: (2019-05-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)

Computer Science and Metaphysics: A Cross-Fertilization
著者:: Kirchner Daniel, 等
出版事項: (2019-08-01)

Normative Naturalism on Its Own Terms
著者:: Pekka Väyrynen
出版事項: (2021-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)