On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture.

Stavros Vassos Hector J. Levesque

Published in: AAAI (2008)

Keyphrases

situation calculus
action theories
event calculus
initial state
reasoning about actions
action language
modal logic
concurrent actions
incomplete information
high level
dynamic programming