Game-Theoretical Semantics of Epistemic Probability Transformations.
Fabio CuzzolinPublished in: Belief Functions (2012)
Keyphrases
- epistemic logic
- logic program updates
- probability distribution
- formal semantics
- computer games
- video games
- game theory
- game playing
- transformation rules
- virtual world
- multi agent systems
- cooperative game
- modal operators
- logical framework
- nash equilibria
- game design
- game play
- theoretical analysis
- semantic information
- game theoretic
- optimal strategy
- game based learning
- conceptual model
- game tree
- search algorithm
- logic programs
- modal logic
- computation tree logic
- kripke models