A SUMMARY OF APPLICATIONS OF SITUATION CALCULUS IN REASONING ABOUT ACTIONS

• 情态演算在行动推理中的应用