The following pages link to Deontic Logic for Human Reasoning (Q5172607):
Displaying 11 items.
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support (Q2211865) (← links)
- Deontic Reasoning Across Contexts (Q2879303) (← links)
- A logic for reasoning about moral agents (Q2973440) (← links)
- Automated Reasoning in the Wild (Q3454081) (← links)
- (Q3986137) (← links)
- (Q4298367) (← links)
- (Q4709819) (← links)
- Introducing Exclusion Logic as a Deontic Logic (Q4931574) (← links)
- (Q4938867) (← links)
- (Q5224810) (← links)
- Practical Normative Reasoning with Defeasible Deontic Logic (Q6163647) (← links)