Keyphrases
- sound and complete axiomatization
- multi valued
- probabilistic logic
- propositional logic
- logic programming
- deductive reasoning
- proof procedure
- horn clauses
- game theory
- predicate calculus
- winning strategy
- autoepistemic logic
- video games
- game theoretic
- classical first order logic
- game playing
- default logic
- nash equilibrium
- virtual world
- computer games
- general logic programs
- automated reasoning
- propositional variables
- game design
- nonmonotonic logics
- boolean games
- truth maintenance systems
- game based learning
- nash equilibria
- classical logic
- probabilistic reasoning
- modal logic
- logic programs
- game players
- optimal strategy
- game play
- educational games
- answer sets
- normal form