The following pages link to Deontic Logic in Computer Science (Q5901583):
Displaying 12 items.
- Prior's defence of Hintikka's theorem. A discussion of Prior's ``The logic of obligation and the obligations of the logician'' (Q395585) (← links)
- On the axiomatisation of Elgesem's logic of agency and ability (Q815019) (← links)
- Where responsibility takes you. Logics of agency, counterfactuals, and norms (Q2106170) (← links)
- Computing strong and weak permissions in defeasible logic (Q2441477) (← links)
- An indefinability argument for conditional obligation (Q2735775) (← links)
- Propositional Clausal Defeasible Logic (Q3532456) (← links)
- A defeasible logic for modelling policy-based intentions and motivational attitudes (Q3636788) (← links)
- The Uses of Norms (Q4993628) (← links)
- AI 2003: Advances in Artificial Intelligence (Q5191600) (← links)
- Enabling reasoning with LegalRuleML (Q5197743) (← links)
- Programming Cognitive Agents in Defeasible Logic (Q5387870) (← links)
- Modal Rules: Extending Defeasible Logic with Modal Operators (Q6104756) (← links)
