The following pages link to Higher-Order Coalition Logic (Q2999189):
Displayed 4 items.
- A complete coalition logic of temporal knowledge for multi-agent systems (Q1633064) (← links)
- A first-order coalition logic for BDI-agents (Q1712430) (← links)
- A logic of argumentation for specification and verification of abstract argumentation frameworks (Q1935593) (← links)
- Quantified Coalition Logic of Knowledge, Belief and Certainty (Q3305131) (← links)