Login / Signup
Dynamic Epistemic Logic Games with Epistemic Temporal Goals.
Bastien Maubert
Aniello Murano
Sophie Pinchinat
François Schwarzentruber
Silvia Stranieri
Published in:
ECAI (2020)
Keyphrases
</>
dynamic epistemic logic
epistemic logic
modal logic
model checking
computer games
temporal reasoning
game playing
game theory
game theoretic
natural language
multi agent systems
video games
formal semantics
logical framework
multi faceted