Keyphrases
- modal logic
- decision procedures
- temporal logic
- inference rules
- kripke models
- nonmonotonic logics
- epistemic logic
- video games
- graphical representation
- default logic
- explanation based generalization
- classical logic
- educational games
- nash equilibria
- situation calculus
- computer games
- prime implicates
- description logic alc
- game play
- nash equilibrium
- conditional logic
- game theory
- cooperative
- game playing
- normal form
- dynamic logic
- relational databases