Recursive Games for Compositional Program Synthesis.
Tewodros A. BeyeneSwarat ChaudhuriCorneliu PopeeaAndrey RybalchenkoPublished in: VSTTE (2015)
Keyphrases
- program synthesis
- recursive programs
- inductive logic programming
- video games
- computer games
- nash equilibria
- game playing
- serious games
- knowledge base
- game theoretic
- game play
- educational games
- game theory
- decision trees
- artificial intelligence
- learning problems
- constraint satisfaction
- structured data
- logic programs
- supervised learning
- domain knowledge
- training set
- reinforcement learning
- digital games
- training data