Login / Signup
Nondeterminism and Uncertainty in the Situation Calculus.
Javier Pinto
Amílcar Sernadas
Cristina Sernadas
Paulo Mateus
Published in:
FLAIRS Conference (1999)
Keyphrases
</>
situation calculus
sensing actions
event calculus
action theories
initial state
reasoning about actions
fluent calculus
modal logic
blocks world
reasoning tasks
logical language
uncertain data
concurrent actions
agent programming
provably correct
incomplete information
logical theories
universally quantified
data model