Qualitative Spatial Reasoning Via 3-Valued Heterogeneous Logic.

Konstantine Arkoudas, Selmer Bringsjord, Sangeet Khemlani

Browse the full IC3K paper archive.