Synchronous Games in the Situation Calculus.
Giuseppe De GiacomoYves LespéranceAdrian R. PearcePublished in: AAMAS (2015)
Keyphrases
- situation calculus
- event calculus
- action theories
- initial state
- reasoning about actions
- reasoning tasks
- game theory
- game playing
- provably correct
- blocks world
- logical language
- fluent calculus
- modal logic
- concurrent actions
- game theoretic
- agent programming
- nash equilibrium
- logical theories
- universally quantified
- sensing actions