Pages that link to "Item:Q3356299"
From MaRDI portal
The following pages link to Temporal Reasoning over Deontic Specifications (Q3356299):
Displaying 22 items.
- A formalisation of violation, error recovery, and enforcement in the bit transmission problem (Q598545) (← links)
- On the nature of events: another perspective in concurrency (Q674197) (← links)
- Encapsulating deontic and branching time specifications (Q714879) (← links)
- Deontic action logic, atomic Boolean algebras and fault-tolerance (Q846527) (← links)
- Agent strands in the action language \(n\mathcal C +\) (Q931775) (← links)
- On what exactly goes on when software is developed step-by-step. II: The sequel (Q1028976) (← links)
- Temporal theories as modularisation units for concurrent system specification (Q1192604) (← links)
- Towards specifying norms (Q1353845) (← links)
- Actors, actions, and initiative in normative system specification (Q1353968) (← links)
- Deontic database constraints, violation and recovery (Q1922825) (← links)
- Canonical models for temporal deontic logic (Q2735784) (← links)
- On temporal qualification of normative propositions (Q2751846) (← links)
- Quantified temporal alethic-deontic logic (Q2987727) (← links)
- A Tableaux System for Deontic Action Logic (Q3522041) (← links)
- Towards Modelling Obligations in Event-B (Q3535374) (← links)
- Reasoning about System-Degradation and Fault-Recovery with Deontic Logic (Q3623815) (← links)
- Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations (Q4982115) (← links)
- A temporal logic for modelling activities of daily living (Q5079785) (← links)
- Reasoning about actions with Temporal Answer Sets (Q5299584) (← links)
- (Q5500954) (← links)
- Temporal agent programs (Q5940961) (← links)
- Temporal defeasible reasoning (Q5955135) (← links)
