Pages that link to "Item:Q3166989"
From MaRDI portal
The following pages link to Strategies in Games: A Logic-Automata Study (Q3166989):
Displaying 10 items.
- On the use (and abuse) of logic in game theory (Q266655) (← links)
- An automated method for building cognitive models for turn-based games from a strategy logic (Q1630453) (← links)
- Reasoning in large games with unboundedly many players (Q2148813) (← links)
- Studying strategies and types of players: experiments, logics and cognitive models (Q2218704) (← links)
- Strategic reasoning: building cognitive models from logical formulas (Q2255230) (← links)
- Logics for Reasoning About Strategic Abilities in Multi-player Games (Q2817409) (← links)
- Human Strategic Reasoning in Dynamic Games: Experiments, Logics, Cognitive Models (Q3457696) (← links)
- Weighted Strategy Logic with Boolean Goals Over One-Counter Games. (Q5278311) (← links)
- Automatic Strategy Verification for Hex (Q5434459) (← links)
- Taming strategy logic: non-recurrent fragments (Q6077842) (← links)