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 14 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)
- Determination of social laws for multi-agent mobilization (Q1389600) (← links)
- Choosing social laws for multi-agent systems: Minimality and simplicity (Q1575182) (← 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)
- Coordination Models and Languages (Q5717735) (← links)
- Data-Driven Revision of Conditional Norms in Multi-Agent Systems (Q5870524) (← links)
- Deontic Logic in Computer Science (Q5901577) (← links)