The following pages link to (Q5296763):
Displaying 12 items.
- Permission to speak: a logic for access control and conformance (Q615900) (← links)
- Obligation as optimal goal satisfaction (Q1670486) (← links)
- Sequent calculi for choice logics (Q2104520) (← links)
- Weighted modal logic in epistemic and deontic contexts (Q2148817) (← links)
- Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base (Q2228447) (← links)
- Computing strong and weak permissions in defeasible logic (Q2441477) (← links)
- Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance (Q3092314) (← links)
- Sequence Semantics for Normative Agents (Q4571148) (← links)
- The rationale behind the concept of goal (Q4593028) (← links)
- (Q4993614) (← links)
- Enabling reasoning with LegalRuleML (Q5197743) (← links)
- A Formal Language for Electronic Contracts (Q5428911) (← links)
