Search Results for author:
Found 5 papers, 2 papers with code
Normative Conditional Reasoning as a Fragment of HOL
We report on the mechanization of (preference-based) conditional normative reasoning.
Designing Normative Theories for Ethical and Legal Reasoning: LogiKEy Framework, Methodology, and Tool Support
A framework and methodology---termed LogiKEy---for the design and engineering of ethical reasoners, normative theories and deontic logics is presented.
First Experiments with a Flexible Infrastructure for Normative Reasoning
A flexible infrastructure for normative reasoning is outlined.
I/O Logic in HOL --- First Steps
A semantical embedding of input/output logic in classical higher-order logic is presented.
Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL
A shallow semantical embedding of a dyadic deontic logic by Carmo and Jones in classical higher-order logic is presented.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
