Some Results on a Game-Semantic Approach to Verifying Finitely-Presentable Infinite Structures (Extended Abstract).
C.-H. Luke OngPublished in: CSL (2006)
Keyphrases
- extended abstract
- semantic representation
- natural language
- semantic annotation
- game playing
- semantic information
- model checking
- semantic knowledge
- video games
- game play
- domain specific
- computer games
- semantic content
- semantic web technologies
- semantic search
- game design
- game theoretic
- metadata
- finite number
- web services
- game theory
- domain knowledge