A Logic for Reasoning About Game Descriptions.
Dongmo ZhangPublished in: Australasian Conference on Artificial Intelligence (2018)
Keyphrases
- formal theory
- winning strategy
- game theory
- computer games
- modal operators
- video games
- classical logic
- multi valued
- game design
- logic programming
- game theoretic
- modal logic
- game based learning
- automated reasoning
- educational games
- nash equilibrium
- high level
- probabilistic knowledge
- predicate logic
- game development
- imperfect information
- probabilistic logic
- digital games
- virtual world
- qualitative reasoning
- defeasible logic
- causal reasoning
- logical framework
- real time strategy games
- role playing
- proof procedures