Login / Signup
The Two-Variable Situation Calculus.
Yilan Gu
Mikhail Soutchanski
Published in:
STAIRS (2006)
Keyphrases
</>
situation calculus
event calculus
action theories
initial state
reasoning about actions
concurrent actions
blocks world
logical language
reasoning tasks
modal logic
provably correct
fluent calculus
universally quantified