The following pages link to Deontic Logic in Computer Science (Q5901580):
Displaying 12 items.
- The categorical imperative: category theory as a foundation for deontic logic (Q472796) (← links)
- Mapping deontic operators to abductive expectations (Q2509082) (← links)
- Ontological aspects of the implementation of norms in agent-based electronic institutions (Q2509084) (← links)
- Ten Problems of Deontic Logic and Normative Reasoning in Computer Science (Q3166987) (← links)
- Specifying Intrusion Detection and Reaction Policies: An Application of Deontic Logic (Q3522043) (← links)
- A Temporal Logic of Normative Systems (Q3600564) (← links)
- Expressiveness and succinctness of a logic of robustness (Q4586143) (← links)
- Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations (Q4982115) (← links)
- (Q4993609) (← links)
- A temporal logic for modelling activities of daily living (Q5079785) (← links)
- Logics in Artificial Intelligence (Q5394135) (← links)
- Obligations with deadlines: a formalization in Dynamic Deontic Logic (Q5406121) (← links)
