Login / Signup
Making Situation Calculus Indexical.
Devika Subramanian
John Woodfill
Published in:
KR (1989)
Keyphrases
</>
situation calculus
action theories
event calculus
initial state
logical language
reasoning about actions
reasoning tasks
provably correct
fluent calculus
blocks world
modal logic
taxonomic reasoning
concurrent actions
sensing actions
logical theories
general purpose
bayesian networks