Bounded Epistemic Situation Calculus Theories.
Giuseppe De GiacomoYves LespéranceFabio PatriziPublished in: IJCAI (2013)
Keyphrases
- situation calculus
- modal operators
- action theories
- modal logic
- event calculus
- logical theories
- initial state
- reasoning about actions
- fluent calculus
- reasoning tasks
- dynamic logic
- provably correct
- logical language
- blocks world
- sensing actions
- concurrent actions
- action language
- agent programming
- indirect effects
- incomplete information
- general purpose