Keyphrases
- partial order
- partially ordered
- total order
- logical formulas
- partial ordering
- default reasoning
- totally ordered
- game theory
- video games
- automated reasoning
- stable marriage
- logic programming
- multi valued
- predicate logic
- computer games
- nash equilibrium
- modal logic
- vertex cover
- game play
- preference relations
- decision making
- serious games
- educational games
- multi dimensional
- worst case
- multi agent