A General Algorithm for Automatically Generating Composition Table in Spatio-Temporal Reasoning

• 时空推理中自动生成复合表的通用算法