Concurrent Game Structures for Temporal STIT Logic.
Joseph BoudouEmiliano LoriniPublished in: AAMAS (2018)
Keyphrases
- logical framework
- multi agent systems
- coalition logic
- game theory
- video games
- epistemic logic
- inference rules
- computer games
- linear temporal logic
- reasoning tasks
- nash equilibrium
- winning strategy
- logic programming
- temporal patterns
- multi agent
- game playing
- belief revision
- temporal reasoning
- temporal constraints
- spatial and temporal
- artificial intelligence
- temporal data
- multi valued
- virtual world
- modal logic
- spatio temporal
- educational games
- serious games
- game play
- programming language
- mutual exclusion
- search algorithm
- temporal information