Reasoning about Continuous Uncertainty in the Situation Calculus.

Vaishak Belle Hector J. Levesque

Published in: IJCAI (2013)

Keyphrases

situation calculus
concurrent actions
sensing actions
event calculus
action theories
initial state
modal operators
logical language
reasoning about actions
fluent calculus
modal logic
reasoning tasks
provably correct
blocks world
uncertain data
agent programming
general purpose
probability distribution
data model