%0 Conference Paper %B AI*IA %D 2003 %T Qualitative Spatial Reasoning in a Logical Framework %A Alessandra Raffaetà %A Chiara Renso %A Franco Turini %B AI*IA %P 78-90 %G eng