The following pages link to Reasoning about coalitional games (Q834401):
Displaying 23 items.
- On the complexity of core, kernel, and bargaining set (Q650525) (← links)
- Knowing the price of success (Q785233) (← links)
- Reasoning about coalitional games (Q834401) (← links)
- Quantified coalition logic (Q1024128) (← links)
- A complete coalition logic of temporal knowledge for multi-agent systems (Q1633064) (← links)
- Together we know how to achieve: an epistemic logic of know-how (Q1711891) (← links)
- A first-order coalition logic for BDI-agents (Q1712430) (← links)
- Logic and games: an introduction (Q2016075) (← links)
- On composition of bounded-recall plans (Q2046034) (← links)
- Automated temporal equilibrium analysis: verification and synthesis of multi-player games (Q2211871) (← links)
- Epistemic GDL: a logic for representing and reasoning about imperfect information games (Q2238622) (← links)
- Knowing-how under uncertainty (Q2289005) (← links)
- Coalitional games induced by matching problems: complexity and islands of tractability for the Shapley value (Q2289024) (← links)
- Łukasiewicz logics for cooperative games (Q2321328) (← links)
- Characteristic function games with restricted agent interactions: core-stability and coalition structures (Q2634475) (← links)
- The Complexity of the Nucleolus in Compact Games (Q2828226) (← links)
- From self-regarding to other-regarding agents in strategic games: a logical analysis (Q2901222) (← links)
- Verifying Team Formation Protocols with Probabilistic Model Checking (Q3092303) (← links)
- Quantified Coalition Logic of Knowledge, Belief and Certainty (Q3305131) (← links)
- (Q3384085) (← links)
- Intelligence in Strategic Games (Q5154729) (← links)
- Formal modelling and verification of probabilistic resource bounded agents (Q6190087) (← links)
- Reasoning about dependence, preference and coalitional power (Q6191139) (← links)
