Goal Change in the Situation Calculus.

Steven Shapiro Yves Lespérance Hector J. Levesque

Published in: J. Log. Comput. (2007)

Keyphrases

situation calculus
action theories
event calculus
initial state
reasoning tasks
reasoning about actions
provably correct
modal logic
logical language
fluent calculus
concurrent actions
blocks world
indirect effects
universally quantified
agent programming
logical theories
heuristic search