An Axiomatization of the Token Game Based on Petri Algebras.
Éric BadouelJules ChenouGoulven GuillouPublished in: Fundam. Informaticae (2007)
Keyphrases
- digital educational games
- learning tools
- learning systems
- game based learning
- situation calculus
- educational games
- topological spaces
- learning process
- distributive lattices
- general theory
- clifford algebra
- complete axiomatization
- real world
- digital game based learning
- board game
- game based learning environment
- interval algebra
- relation algebra
- boolean algebra
- similarity measure
- database
- information systems
- pervasive learning
- video games
- augmented reality
- case study
- databases