TY - CONF T1 - Qualitative Spatial Reasoning in a Logical Framework T2 - AI*IA Y1 - 2003 A1 - Alessandra Raffaetà A1 - Chiara Renso A1 - Franco Turini JF - AI*IA ER -