Login / Signup
Reasoning about State Constraints in the Situation Calculus.
Naiqi Li
Yi Fan
Yongmei Liu
Published in:
IJCAI (2013)
Keyphrases
</>
situation calculus
action theories
initial state
concurrent actions
indirect effects
event calculus
sensing actions
reasoning tasks
provably correct
fluent calculus
reasoning about actions
modal logic
blocks world
modal operators
constraint satisfaction
linear programming
general purpose
partially ordered