An architecture of diversity for commonsense reasoning
A Spatial Logic based on Regions and Connection