Proof-Theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets.
Jonathan A. ZvesperKrzysztof R. AptPublished in: CLIMA (2010)
Keyphrases
- theoretic analysis
- game theory
- bounded rationality
- leader follower
- game theoretic
- case study
- decision making
- two player games
- multi agent decision making
- convex sets
- optimal strategy
- selection strategy
- theorem prover
- nash equilibrium
- computer games
- multi agent
- educational games
- online game
- solution concepts
- perfect information
- linear logic
- proof theory
- video games
- mixed strategy
- cooperative