Some Results Concerning the Situation Calculus.

Olga Stepánková Ivan M. Havel

Published in: MFCS (1973)

Keyphrases

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