Game Semantics for the Geiger-Paz-Pearl Axioms of Independence.
Pavel NaumovBrittany NichollsPublished in: LORI (2011)
Keyphrases
- conditional independence
- complete axiomatization
- axiomatic characterization
- video games
- nash equilibrium
- default theories
- formal semantics
- logic programming
- action theories
- game theory
- computer games
- game design
- game playing
- game play
- computational properties
- game theoretic
- serious games
- semantic information
- cooperative game
- bayesian networks
- logical theories
- game development
- game based learning
- first order logic
- knowledge base
- operational semantics
- speech acts
- virtual world
- semantics of logic programs