Iterated Belief Change in the Situation Calculus.

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

Published in: KR (2000)

Keyphrases

situation calculus
event calculus
action theories
initial state
provably correct
modal logic
logical language
fluent calculus
reasoning about actions
agent programming
reasoning tasks
data model
concurrent actions
sufficient conditions
blocks world
programming language
artificial intelligence