Pages that link to "Item:Q885535"
From MaRDI portal
The following pages link to Social laws in alternating time: effectiveness, feasibility, and synthesis (Q885535):
Displaying 10 items.
- Norm-based mechanism design (Q322076) (← links)
- Addressing moral problems through practical reasoning (Q931773) (← links)
- Reasoning about temporal properties of rational play (Q1028639) (← links)
- Practical reasoning as presumptive argumentation using action based alternating transition systems (Q1028960) (← links)
- Multi-modal CTL: completeness, complexity, and an application (Q1037587) (← links)
- Action and knowledge in alternating-time temporal logic (Q2500827) (← links)
- A Temporal Logic of Normative Systems (Q3600564) (← links)
- A Logic for Reasoning about Rational Agents (Q3602940) (← links)
- (Q4993609) (← links)
- Data-Driven Revision of Conditional Norms in Multi-Agent Systems (Q5870524) (← links)
