The following pages link to Deontic Logic in Computer Science (Q5901577):
Displaying 7 items.
- Social laws in alternating time: effectiveness, feasibility, and synthesis (Q885535) (← links)
- Alternating-time stream logic for multi-agent systems (Q967523) (← links)
- On stable social laws and qualitative equilibria (Q1274287) (← links)
- Determination of social laws for multi-agent mobilization (Q1389600) (← links)
- Choosing social laws for multi-agent systems: Minimality and simplicity (Q1575182) (← links)
- Verifying social expectations by model checking truncated paths (Q3103983) (← links)
- Coordination Models and Languages (Q5717735) (← links)