Integrating State Constraints and Obligations in Situation Calculus.

Robert Demolombe Pilar Pozos Parra

Published in: LA-NMR (2006)

Keyphrases

situation calculus
action theories
initial state
event calculus
indirect effects
concurrent actions
sensing actions
reasoning about actions
reasoning tasks
provably correct
logical language
state space
blocks world
modal logic
constraint satisfaction
knowledge representation
fluent calculus