Iterated belief change in the situation calculus.

Steven Shapiro Maurice Pagnucco Yves Lespérance Hector J. Levesque

Published in: Artif. Intell. (2011)

Keyphrases

situation calculus
action theories
initial state
event calculus
provably correct
reasoning about actions
concurrent actions
reasoning tasks
fluent calculus
modal logic
blocks world
dynamic programming
sensing actions
logical theories
domain specific
taxonomic reasoning