Situation Calculus Based Programs for Representing and Reasoning about Game Structures.
Giuseppe De GiacomoYves LespéranceAdrian R. PearcePublished in: KR (2010)
Keyphrases
- situation calculus
- provably correct
- concurrent actions
- agent programming
- event calculus
- action theories
- initial state
- game theoretic
- modal operators
- logic programming language
- planning problems
- game playing
- game theory
- fluent calculus
- blocks world
- reasoning about actions
- reasoning tasks
- logical language
- sensing actions
- nash equilibrium
- primitive actions
- universally quantified
- decision problems