Good-for-Game QPTL: An Alternating Hodges Semantics.
Dylan BellierMassimo BenerecettiDario Della MonicaFabio MogaveroPublished in: ACM Trans. Comput. Log. (2023)
Keyphrases
- game theory
- game playing
- formal semantics
- logic programming
- computer games
- game theoretic
- relational databases
- virtual environment
- conceptual model
- video games
- optimal strategy
- board game
- database
- imperfect information
- nonmonotonic logics
- online game
- game based learning
- conceptual graphs
- game play
- nash equilibrium
- semantic information
- virtual world