Projection in Decomposed Situation Calculus.

Published in: KR (2002)

Keyphrases

situation calculus
action theories
event calculus
reasoning tasks
initial state
blocks world
provably correct
reasoning about actions
fluent calculus
logical language
sensing actions
concurrent actions
modal logic
agent programming