Computer-generated conjectures(!) and proofs(!!) in combinatorial game theory (II) (abstract only).
Thotsaporn "Aek" ThanatipanondaPublished in: ACM Commun. Comput. Algebra (2008)
Keyphrases
- game theory
- computer generated
- theorem prover
- game theoretic
- cooperative
- multi agent systems
- multi agent learning
- nash equilibrium
- fictitious play
- mechanism design
- resource allocation
- nash equilibria
- cooperative game theory
- statistical physics
- decision theory
- virtual humans
- solution concepts
- imperfect information
- human computation
- lower bound