The following pages link to M. J. Wooldridge (Q310096):
Displaying 50 items.
- Hard and soft preparation sets in Boolean games (Q310097) (← links)
- Reasoning about equilibria in game-like concurrent systems (Q345709) (← links)
- Proof systems and transformation games (Q354613) (← links)
- Incentive engineering for Boolean games (Q360136) (← links)
- Program equilibrium -- a program reasoning approach (Q361805) (← links)
- Partial-order Boolean games: informational independence in a logic-based model of strategic interaction (Q516248) (← links)
- Weighted argument systems: basic definitions, algorithms, and complexity results (Q543610) (← links)
- Postulates for revising BDI structures (Q625696) (← links)
- Reasoning about social choice functions (Q652736) (← links)
- Bargaining with incomplete information (Q812383) (← links)
- An agenda-based framework for multi-issue negotiation (Q814532) (← links)
- On the computational complexity of qualitative coalitional games (Q814613) (← links)
- Equilibria for games with combined qualitative and quantitative objectives (Q824280) (← links)
- Reasoning about coalitional games (Q834401) (← links)
- Towards a theory of intention revision (Q885523) (← links)
- Coalition structure generation: a survey (Q900307) (← links)
- A hybrid exact algorithm for complete set partitioning (Q901033) (← links)
- Knowledge condition games (Q1006447) (← links)
- Quantified coalition logic (Q1024128) (← links)
- Multi-modal CTL: completeness, complexity, and an application (Q1037587) (← links)
- Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications (Q1420807) (← links)
- Imperfect information in reactive modules games (Q1641035) (← links)
- Forming \(k\) coalitions and facilitating relationships in social networks (Q1647520) (← links)
- The stochastic Shapley value for coalitional games with externalities (Q1651256) (← links)
- Understanding flash crash contagion and systemic risk: a micro-macro agent-based approach (Q1734547) (← links)
- Anytime coalition structure generation in multi-agent systems with positive or negative externalities (Q1761282) (← links)
- On the evaluation of election outcomes under uncertainty (Q1761297) (← links)
- Manipulating games by sharing information (Q2016078) (← links)
- Defense coordination in security games: equilibrium analysis and mechanism design (Q2093398) (← links)
- Automated temporal equilibrium analysis: verification and synthesis of multi-player games (Q2211871) (← links)
- Multi-player games with LDL goals over finite traces (Q2225596) (← links)
- Behavioural strategies in weighted Boolean games (Q2225600) (← links)
- On the computational complexity of weighted voting games (Q2268913) (← links)
- Solving coalitional resource games (Q2269130) (← links)
- Łukasiewicz logics for cooperative games (Q2321328) (← links)
- Iterated Boolean games (Q2346405) (← links)
- A linear approximation method for the Shapley value (Q2389675) (← links)
- From model checking to equilibrium checking: reactive modules for rational verification (Q2407463) (← links)
- On the computational complexity of coalitional resource games (Q2457612) (← links)
- The complexity of contract negotiation (Q2457671) (← links)
- On the logic of cooperation and propositional control (Q2457673) (← links)
- The complexity of agent design problems: Determinism and history dependence (Q2502156) (← links)
- On obligations and normative ability: Towards a logical analysis of the social contract (Q2568339) (← links)
- Partial order games (Q2669153) (← links)
- Mean-payoff games with \(\omega\)-regular specifications (Q2669180) (← links)
- Cooperative concurrent games (Q2680769) (← links)
- A computationally grounded logic of visibility, perception, and knowledge (Q2716928) (← links)
- (Q2728937) (← links)
- Reasoning about rational agents (Q2756785) (← links)
- (Q2763053) (← links)
