Iterated Belief Change and Exogeneous Actions in the Situation Calculus.

Steven Shapiro Maurice Pagnucco

Published in: ECAI (2004)

Keyphrases

situation calculus
action theories
reasoning about actions
initial state
concurrent actions
event calculus
logical language
reasoning tasks
provably correct
modal logic
indirect effects
blocks world
action language
sensing actions
logical theories
high level
universally quantified
agent programming
temporal logic