The following pages link to Quantified coalition logic (Q1024128):
Displayed 6 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)
- Quantified Coalition Logic of Knowledge, Belief and Certainty (Q3305131) (← links)
- A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems (Q3602954) (← links)
- Distant Group Responsibility in Multi-agent Systems (Q4571150) (← links)