Keyphrases
- linear logic
- proof theoretic
- logic programming
- logical framework
- intuitionistic logic
- game theory
- computer games
- logic programs
- fixed point
- desirable properties
- video games
- sequent calculus
- game playing
- inference rules
- formal semantics
- cut elimination
- nash equilibrium
- qualitative and quantitative
- deductive databases
- belief revision
- probability distribution
- reinforcement learning
- default reasoning
- reasoning tasks
- natural deduction
- integrity constraints
- proof search
- higher order
- knowledge representation