Non-Markovian Control in the Situation Calculus.

Alfredo Gabaldon

Published in: AAAI/IAAI (2002)

Keyphrases

situation calculus
event calculus
action theories
initial state
modal logic
provably correct
blocks world
logical language
concurrent actions
reasoning about actions
reasoning tasks
universally quantified
fluent calculus
indirect effects
optimal control
model checking
knowledge representation