Proof-theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets
Jonathan A. ZvesperKrzysztof R. AptPublished in: CoRR (2010)
Keyphrases
- theoretic analysis
- game theory
- bounded rationality
- leader follower
- business strategy
- game theoretic
- two player games
- linear logic
- multi agent decision making
- digital games
- theorem proving
- nash equilibrium
- case study
- information systems
- game playing
- theorem prover
- evaluation function
- game players
- virtual environment
- weighted majority
- knowledge management
- game ai
- genetic algorithm