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

Detaylı Bibliyografya
Asıl Yazarlar:	Christoph Benzmüller, Ali Farjami, David Fuenmayor, Paul Meder, Xavier Parent, Alexander Steen, Leendert van der Torre, Valeria Zahoransky
Materyal Türü:	Makale
Dil:	English
Baskı/Yayın Bilgisi:	Elsevier 2020-12-01
Seri Bilgileri:	Data in Brief
Konular:	Trustworthy and responsible AI Knowledge representation and reasoning Automated theorem proving Model finding Normative reasoning Normative systems
Online Erişim:	http://www.sciencedirect.com/science/article/pii/S2352340920312919

Benzer Materyaller

Reason(s) have Weight with the Evidence of Practical Reason
Yazar:: Reena Kumari, ve diğerleri
Baskı/Yayın Bilgisi: (2024-07-01)

One reason, several logics
Yazar:: Evandro Agazzi
Baskı/Yayın Bilgisi: (2011-06-01)

Normative Experience: Deontic Noema and Deontic Noesis
Yazar:: Lorenzo Passerini Glazel
Baskı/Yayın Bilgisi: (2017-12-01)

Systematic Verification of the Modal Logic Cube in Isabelle/HOL
Yazar:: Christoph Benzmüller, ve diğerleri
Baskı/Yayın Bilgisi: (2015-07-01)

Logical Normativity and Common Sense Reasoning
Yazar:: Evandro Agazzi
Baskı/Yayın Bilgisi: (2011-04-01)

Squeezing the good into the right
Yazar:: Rafael Graebin Vogelmann
Baskı/Yayın Bilgisi: (2024-11-01)

The nature and limits of guidance
Yazar:: Pike, J
Baskı/Yayın Bilgisi: (2021)

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

Universal (meta-)logical reasoning: The Wise Men Puzzle (Isabelle/HOL dataset)
Yazar:: Christoph Benzmüller
Baskı/Yayın Bilgisi: (2019-06-01)

Normative reasons and motivational capacities
Yazar:: Jean Caiaffo Caldas
Baskı/Yayın Bilgisi: (2024-03-01)

The empirical study of norms is just what we are missing
Yazar:: Theodora eAchourioti, ve diğerleri
Baskı/Yayın Bilgisi: (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
Yazar:: Gavrilović Biljana
Baskı/Yayın Bilgisi: (2018-01-01)

Morality, Normativity, and the Good System 2 Fallacy
Yazar:: Wim De Neys
Baskı/Yayın Bilgisi: (2020-02-01)

The Demands of Beauty: A Kantian Account of the Normative Force of Aesthetic Reasons
Yazar:: Jessica J. Williams
Baskı/Yayın Bilgisi: (2024-03-01)

Ewing's problem
Yazar:: Christian Piller
Baskı/Yayın Bilgisi: (2007-01-01)

Fondazione dell'etica e materia del dovere in Edmund Husserl
Yazar:: Federica Buongiorno
Baskı/Yayın Bilgisi: (2011-01-01)

Study of Isabelle/HOL on Formal Algorithm Analysis and Code Generation
Yazar:: Haitao Wang, ve diğerleri
Baskı/Yayın Bilgisi: (2021-01-01)

Modals with a taste of the deontic
Yazar:: Joshua Knobe, ve diğerleri
Baskı/Yayın Bilgisi: (2013-03-01)

Prospects for Experimental Philosophical Logic
Yazar:: Jeremiah Joven Joaquin
Baskı/Yayın Bilgisi: (2019-05-01)

Moral reasons and The moral problem
Yazar:: Gert Joshua
Baskı/Yayın Bilgisi: (2024-01-01)

Argumentation and explanation in the law
Yazar:: Antonino Rotolo, ve diğerleri
Baskı/Yayın Bilgisi: (2023-09-01)

Reason and Normative Embodiment in Plato's Republic: On the Philosophical Creation of Disability
Yazar:: Thomas Joseph Kiefer
Baskı/Yayın Bilgisi: (2014-01-01)

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

The Logic and Normative Force of Dual-Character Generics: Towards a Theoretical Model for the Study of Normatively Shifted Predications
Yazar:: Kowalewska-Buraczewska Aleksandra
Baskı/Yayın Bilgisi: (2020-03-01)

„Beweisgrund“
Yazar:: Robert Theis
Baskı/Yayın Bilgisi: (2024-12-01)

Against a Normative View of Folk Psychology
Yazar:: Meredith Ria Wilkinson
Baskı/Yayın Bilgisi: (2014-06-01)

Normativity of international law
Yazar:: Dajović Goran
Baskı/Yayın Bilgisi: (2021-01-01)

What Makes Mental Modeling Difficult? Normative Data for the Multidimensional Relational Reasoning Task
Yazar:: Robert A. Cortes, ve diğerleri
Baskı/Yayın Bilgisi: (2021-05-01)

Zaufanie a stosunki osobiste
Yazar:: Christian Budnik
Baskı/Yayın Bilgisi: (2015-06-01)

God and logic in Islam : the caliphate of reason /
Yazar:: 567821 Walbridge, John author
Baskı/Yayın Bilgisi: (2011)

Hammering towards QED
Yazar:: Jasmin C. Blanchette, ve diğerleri
Baskı/Yayın Bilgisi: (2016-01-01)

Analogical Reasoning in Geometry Proofs
Yazar:: Anass Bayag, ve diğerleri
Baskı/Yayın Bilgisi: (2021-06-01)

Understanding the Quality of Interaction of Complexity Leadership and Social Enterprise based on the Complex Science Lens
Yazar:: Zahra Vafaee, ve diğerleri
Baskı/Yayın Bilgisi: (2020-05-01)

Reliability and validity of the NeuroCognitive Performance Test, a web-based neuropsychological assessment
Yazar:: Glenn E. Morrison, ve diğerleri
Baskı/Yayın Bilgisi: (2015-11-01)

Modeling causal conditional reasoning data using SDT: caveats and new insights
Yazar:: Dries eTrippas, ve diğerleri
Baskı/Yayın Bilgisi: (2014-03-01)

Introduction to logic and critical thinking /
Yazar:: 267963 Salmon, Merrilee H.
Baskı/Yayın Bilgisi: (1995)

Logic : the study of deductive reasoning /
Yazar:: 367588 Yildirim, Cemal
Baskı/Yayın Bilgisi: (1973)

A computational logic /
Yazar:: 403382 Boyer, Robert S., ve diğerleri
Baskı/Yayın Bilgisi: (1979)

Rethinking The moral problem
Yazar:: Smith Michael
Baskı/Yayın Bilgisi: (2024-01-01)

Computer Science and Metaphysics: A Cross-Fertilization
Yazar:: Kirchner Daniel, ve diğerleri
Baskı/Yayın Bilgisi: (2019-08-01)