The Epistemic Logic Behind the Game Description Language.
Ji RuanMichael ThielscherPublished in: AAAI (2011)
Keyphrases
- epistemic logic
- general game playing
- game description language
- model checking
- modal logic
- game playing
- multi agent systems
- game players
- evaluation function
- logical framework
- inference rules
- dynamic epistemic logic
- multi faceted
- game tree search
- formal semantics
- mathematical theory
- model checker
- programming language
- search algorithm
- artificial intelligence
- knowledge base