The following pages link to (Q4460679):
Displaying 21 items.
- Preference dynamics in games with short sight (Q278384) (← links)
- Propositional dynamic logic for searching games with errors (Q472791) (← links)
- Deontic logic for strategic games (Q486968) (← links)
- A characterization of equilibria in the Groves-Ledyard mechanism (Q617627) (← links)
- A symbolic shortest path algorithm for computing subgame-perfect Nash equilibria (Q747538) (← links)
- Reasoning about coalitional games (Q834401) (← links)
- A logical characterization of extensive games with short sight (Q896918) (← links)
- Knowledge condition games (Q1006447) (← links)
- Reasoning about temporal properties of rational play (Q1028639) (← links)
- Everything else being equal: a modal logic for ceteris paribus preferences (Q1029829) (← links)
- Characterization, verification and generation of strategies in games with resource constraints (Q2125548) (← links)
- Reasoning in large games with unboundedly many players (Q2148813) (← links)
- Strategic reasoning: building cognitive models from logical formulas (Q2255230) (← links)
- Toward a theory of play: a logical perspective on games and interaction (Q2344965) (← links)
- Some comments on history based structures (Q2475431) (← links)
- Specification and Verification of Multi-Agent Systems (Q3166991) (← links)
- A Logic for Reasoning about Rational Agents (Q3602940) (← links)
- (Q5015393) (← links)
- (Q5018506) (← links)
- A logical description of priority separable games (Q6562527) (← links)
- Local fact change logic (Q6601765) (← links)
