Login / Signup
Non-Determinism and Uncertainty in the Situation Calculus.
Javier Pinto
Amílcar Sernadas
Cristina Sernadas
Paulo Mateus
Published in:
Int. J. Uncertain. Fuzziness Knowl. Based Syst. (2000)
Keyphrases
</>
situation calculus
sensing actions
event calculus
action theories
initial state
modal logic
reasoning about actions
fluent calculus
blocks world
provably correct
reasoning tasks
concurrent actions
logical language
uncertain data
software engineering
action language
general purpose