菏泽大学动画课件作之定性推理方法制作(英文 Bennett B. Spatial reasoning with propositional logic[Cl. In Proceedings of the 4th Internationzilonference on Knowledge Representation and Reasoning, pages 51-62. M[45] Bennett B. Modal logics for qualitative spatial reasoning[J]. Bulletin