Narratives in the Situation Calculus.

Rob Miller Murray Shanahan

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

Keyphrases

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