Abstraction of Situation Calculus Concurrent Game Structures.
Yves LespéranceGiuseppe De GiacomoMaryam RostamigivShakil M. KhanPublished in: AAAI (2024)
Keyphrases
- situation calculus
- concurrent actions
- event calculus
- initial state
- action theories
- provably correct
- fluent calculus
- reasoning about actions
- modal logic
- reasoning tasks
- high level
- action language
- game playing
- game theoretic
- logical language
- blocks world
- logical theories
- taxonomic reasoning
- sensing actions
- indirect effects
- game theory
- universally quantified
- concurrent processes
- search algorithm