Login / Signup
Qualitative Spatial Reasoning Via 3-Valued Heterogeneous Logic.
Konstantine Arkoudas
Selmer Bringsjord
Sangeet Khemlani
Published in:
KEOD (2009)
Keyphrases
</>
qualitative spatial reasoning
formal theory
spatial reasoning
qualitative spatial
modal logic
spatial relations
directional relations
logic programming
multi dimensional
cardinal directions
maximal tractable