Dynamic Epistemic Logic Games with Epistemic Temporal Goals.
Bastien MaubertAniello MuranoSophie PinchinatFrançois SchwarzentruberSilvia StranieriPublished in: CoRR (2020)
Keyphrases
- dynamic epistemic logic
- epistemic logic
- video games
- multi agent systems
- model checking
- temporal reasoning
- game theory
- computer games
- modal logic
- game theoretic
- temporal information
- educational games
- bayesian networks
- game playing
- inference rules
- nash equilibrium
- image processing
- decision problems
- logic programming
- object oriented