Projection in the Epistemic Situation Calculus with Belief Conditionals.
Christoph SchweringGerhard LakemeyerPublished in: AAAI (2015)
Keyphrases
- situation calculus
- modal operators
- modal logic
- belief revision
- action theories
- event calculus
- initial state
- belief change
- reasoning about actions
- temporal logic
- reasoning tasks
- inference rules
- fluent calculus
- decision procedures
- agent programming
- logical language
- nonmonotonic logics
- provably correct
- concurrent actions
- blocks world
- action language
- indirect effects
- sensing actions
- minimal change
- universally quantified