The following pages link to Quantified coalition logic (Q1024128):
Displaying 13 items.
- Reasoning about cooperation, actions and preferences (Q1036058) (← links)
- A complete coalition logic of temporal knowledge for multi-agent systems (Q1633064) (← links)
- A first-order coalition logic for BDI-agents (Q1712430) (← links)
- On the logic of cooperation and propositional control (Q2457673) (← links)
- From coalition logic to STIT (Q2852085) (← links)
- Logic for coalitions with bounded resources (Q3103974) (← links)
- Coalition Description Logic with Individuals (Q3185771) (← links)
- Quantified Coalition Logic of Knowledge, Belief and Certainty (Q3305131) (← links)
- A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems (Q3602954) (← links)
- Logics for Qualitative Coalitional Games (Q3636791) (← links)
- A logical characterisation of qualitative coalitional games (Q3647281) (← links)
- Distant Group Responsibility in Multi-agent Systems (Q4571150) (← links)
- Model Checking for Coalition Announcement Logic (Q6488076) (← links)
