Keyphrases
- linear logic
- fixed point
- template matching
- proof theoretic
- sequent calculus
- cut elimination
- logic programming
- logical framework
- desirable properties
- intuitionistic logic
- game theory
- video games
- computer games
- game playing
- inference rules
- matching algorithm
- proof search
- higher order
- reinforcement learning
- nash equilibrium
- bayesian networks
- random variables
- input image