Strong functors and interleaving fixpoints in game semantics.
Pierre ClairambaultPublished in: RAIRO Theor. Informatics Appl. (2013)
Keyphrases
- fixpoint semantics
- logic programs
- logic programming
- game theory
- video games
- game design
- fixpoint
- computer games
- educational games
- autoepistemic logic
- formal semantics
- model theoretic
- deductive databases
- game playing
- nash equilibrium
- perfect information
- nonmonotonic reasoning
- game play
- game based learning
- conceptual model
- virtual world
- cooperative
- online game
- operational semantics
- relational databases
- natural language