A Hybrid Logic for Commonsense Spatial Reasoning.

Stefania Bandini Alessandro Mosca Matteo Palmonari

Published in: AI*IA (2005)

Keyphrases

spatial reasoning
formal theory
spatial relations
commonsense reasoning
temporal reasoning
topological relations
spatial knowledge
knowledge base
knowledge representation
automated reasoning
image segmentation
multiscale
text mining
context aware
rough mereology