A Hierarchical Situation Calculus

David A. Plaisted

Published in: CoRR (2003)

Keyphrases

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