Some Contributions to the Metatheory of the Situation Calculus.

Fiora Pirri Raymond Reiter

Published in: J. ACM (1999)

Keyphrases

situation calculus
event calculus
action theories
logical language
initial state
provably correct
modal logic
reasoning about actions
fluent calculus
reasoning tasks
concurrent actions
indirect effects
artificial intelligence
blocks world
bayesian networks
heuristic search