A Formal Assessment Result for Fluent Calculus Using the Action Description Language Ak